000 00609nam a2200229Ia 4500
003 OSt
005 20220912151459.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a19665
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB2:(R1), K7
100 _aHenkin Leon
245 0 _aLogical systems containing only a finite number os symbols
260 _aMontreal
_bUniversity De Montreal
_c1967
300 _a52p.
_ccm.
942 _hB2:(R1), K7
_cTEXL
_2CC
999 _c69550
_d69550