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 |