LEADER 00722nam0-22002531i-450-
001 990001172450403321
035   $a000117245
035   $aFED01000117245
035   $a(Aleph)000117245FED01
035   $a000117245
100   $a20000920d1941----km-y0itay50------ba
101 0 $aeng
200 1 $a<<The >>calculi of lambda-conversion$fby ALONZO CHURCH.
210   $aPrinceton [N.J.]$cPrinceton University Press$d1941
225 1 $aAnnals of mathematics studies
700  1$aChurch,$bAlonzo$045761
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001172450403321
952   $aC-11-(6$b1316$fMA1
959   $aMA1
996   $aCalculi of lambda-conversion$9345957
997   $aUNINA
DB    $aING01