000 | 00588n a2200181ua 4500 | ||
---|---|---|---|
040 | _aP K Kelkar Library, IIT Kanpur | ||
082 |
_a160 _bSt9 |
||
100 | _aCurry, Haskell B. | ||
245 | 0 |
_aCombinatory logic _cHaskell B. Curry, Robert Feys and William Craig |
|
260 |
_aAmsterdam _bNorth-Holland Publishing Company _c1968 |
||
300 | _axvi, 417p | ||
440 |
_aStudies In Logic And The Foundations Of Mathematics / Edited By A Heyting _v |
||
650 | _aFoundations Of Mathematics | ||
700 | _aFeys , Robert | ||
700 | _aCraig, William | ||
700 | _a | ||
997 | _aA2974 v.1 C | ||
999 |
_c457557 _d457557 |