000 00807nam a2200253 a 4500
001 30102
003 BD-RjUL
005 20211209051519.0
008 161203s1963 nyua b 001 0 eng
035 _a(BD-RjUL)30187
040 _aDLC/ICU
_cICU
_dDLC
_dBD-RjUL
_beng
041 _aeng
082 0 0 _a511.3
_bCUF 1963
_223
100 1 _aCurry, Haskell B.
_q(Haskell Brooks),
_d1900-
_991523
245 1 0 _aFoundations of mathematical logic /
_cby Haskell B. Curry.
260 _aNew York :
_bMcGraw-Hill,
_cc1963.
300 _axii, 408 p. :
_bill. ;
_c24 cm.
504 _aIncludes bibliography and index.
650 0 _amathematical logic
_991525
650 0 _aLogic, Symbolic and mathematical
_9168426
942 _2ddc
_cBK
999 _c30102
_d30102