000 00784nam a2200253Ia 4500
001 108737
003 BIBL
005 20160527182623.0
008 720803s1964 nyu b 000 0 eng
010 _a 64010046
019 _a01122795
035 _a(OCoLC)00372930
040 _aDLC
_cWSU
_dOCL
_dSER
_dm/c
_dOCL
049 _aPUXA
050 0 _aBC135
_b.K18
082 _a164
100 1 0 _aKalish, Donald.
_wcn
_9240967
_2Local
245 1 0 _aLogic
_btechniques of formal reasoning
_c[by] Donald Kalish [and] Richard Montague.
260 0 _aNew York
_bHarcourt, Brace & World
_c[1964]
300 _ax, 350 p.
_c24 cm.
504 _aBibliography: p. [341]-345.
650 0 _aLogic, Symbolic and mathematical
_9127231
_2Local
700 1 0 _aMontague, Richard
_ejoint author.
_9254958
_2Local
999 _c90476
_d90476