000 00508 a2200253 4500
001 42747
020 _a0-486-63462-07
041 _aeng
080 _a517.1 Cur(3)
245 _aFoundations of mathematical logic
250 _a
260 _aNew York
260 _bDover Pub.,
260 _c1977
300 _aviii,408 p.
300 _c21 cm
490 _a
100 _aCurry, Haskell B.
700 _a
650 _a
650 _aLogic, Symbolic and mathematical
942 _cBK
942 _2UDC
999 _c37888
_d37888