000 00496pam a2200193a 44500
003 OSt
005 20240415144330.0
008 240415b xxu||||| |||| 00| 0 eng d
040 _cIIT Kanpur
041 _aeng
082 _a510.1
_bC937f
100 _aCurry, Haskell Brooks
245 1 _aFoundations of mathematical logic
_cHaskell Brooks Curry
260 _aNew York
_bMcgraw-Hill
_c1963
300 _axii, 408p
650 _aLogic
650 _aSymbolic and mathematical
942 _cBK
999 _c424729
_d424729