| Record ID | ia:calculioflambdac0000chur |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/calculioflambdac0000chur/calculioflambdac0000chur_marc.xml |
| Download MARC binary | https://www.archive.org/download/calculioflambdac0000chur/calculioflambdac0000chur_meta.mrc |
LEADER: 00927cam 22002650| 4500
001 0116400168047
008 900210r19651941nyu b 00000 eng u
010 $z41022039
035 $a(Sirsi) AAZ-4775
035 $a93441030
035 $arecon$fnfr
040 $aOPET$beng
046 $aLC
050 04 $aQA331$b.C52 1965
090 $aQA 331 .C52 1965$bb
100 1 $aChurch, Alonzo,$d1903-
245 14 $aThe calculi of lambda-conversion /$cby Alonzo Church ; Princeton, Princeton University Press; London, H. Milford, Oxford University Press, 1941.
260 $aNew York :$bKraus Reprint Corporation,$c1965.
300 $aii, 82 p. ;$c23 cm.
490 1 $aAnnals of mathematics studies.$vno. 6
500 $aReprinted with the permission of the original Publishers.
504 $aBibliography: p. 73-82.
650 0 $aFunctions.
650 0 $aLogic, Symbolic and mathematical.
830 0 $aAnnals of mathematics studies.$vno. 6.