| 000 | 00922nam a2200253 a 4500 | ||
|---|---|---|---|
| 001 | 51039 | ||
| 003 | BD-RjUL | ||
| 005 | 20211209075612.0 | ||
| 008 | 160829r19511941njua 001 0 eng d | ||
| 035 | _a(BD-RjUL)51159 | ||
| 040 |
_aBD-RjUL _beng _cBD-RjUL |
||
| 041 | _aeng | ||
| 082 |
_223 _a511.3 _bCHC 1951 |
||
| 100 | 1 |
_aChurch, Alonzo, _d1903-1995 _9152706 |
|
| 245 | 1 | 4 |
_aThe calculi of lambda-conversion / _cAlonzo Church. |
| 260 |
_aPrinceton : _bPrinceton University Press, _c1941 [Printing 1951] |
||
| 300 |
_a82 p. ; _c23 cm. |
||
| 490 | 1 |
_aAnnals of mathematics studies ; _vno. 6 |
|
| 500 | _aSecond printing (1951) has imprint: Princeton : Princeton University Press ; London : Humphrey Milford, Oxford University Press, 1941. | ||
| 650 | 0 |
_aLambda calculus. _9152707 |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical. _9117583 |
|
| 830 | 0 |
_aAnnals of mathematics studies ; _vno. 6. _9157275 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c51039 _d51039 |
||