000 00525nam a2200193Ia 4500
003 OSt
005 20230314155112.0
008 230222s9999||||xx |||||||||||||| ||und||
010 _aBC 71 .K3 1964
040 _cChuka University Library
050 _aBC 71
_b.K3 1964
100 _aKALISH DONALD
_95241
245 0 _aLogic Techniques of Formal Reasoning/
260 _aNew York
_bHARCOURT BRACE & WORLD IN
_c1964
300 _aP350
650 _aLogic
_98650
650 _aSymbolic and Mathematical
_98738
942 _cBK
_2lcc
999 _c9540
_d9540