000 | 00532pam a2200169a 44500 | ||
---|---|---|---|
082 |
_a510 _bAn72 |
||
100 | _aChurch, Alonzo | ||
245 | 1 | _aTHE CALCULI OF LAMBDA-CONVERSION | |
260 |
_aPrinceton _bPrinceton University Press _c1941 |
||
300 | _a82 | ||
440 |
_aAnnals Of Mathematics Studies, No. 6 _v |
||
500 | _aReprinted With Permission Of The Original Publishers. Kraus Reprint Corporation. New York, 1965 | ||
650 | _aLogic, Symbolic And Mathematical | ||
650 | _aFunctions | ||
964 | _gCIRC | ||
997 | _a72886 C | ||
999 |
_c426197 _d426197 |