000 00518 a2200253 4500
001 1007522
020 _a1
041 _aeng
080 _a517.1 Cur
245 _aFoundations of mathematical logic
250 _a
260 _aNew York
260 _bMcGraw-Hill,
260 _c1963
300 _axii,408 p.
300 _c24 cm
490 _aNRSA TR 0951 0960 : 1984
100 _aCurry, Haskell B.
700 _a
650 _a
650 _aLogic, Symbolic and mathematical
942 _cBK
942 _2UDC
999 _c37893
_d37893