000 00384nam a2200157 4500
082 _a511.3 CUR-F;1
100 _aCurry, Haskell B
_e
245 _aFoundations of mathematical logic
_cHaskell B Curry
250 _a
260 _aMcGraw-Hill book Co, Inc, NewYork
_c1963
300 _a
490 _a
650 _aMathematical logic-- Mathematics
700 _a
_e
942 _cBK
999 _c525893
_d525893