LEADER 00752nam0-22002531i-450-
001 990001130080403321
035   $a000113008
035   $aFED01000113008
035   $a(Aleph)000113008FED01
035   $a000113008
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $a<<The >>Lambda calculus$eits sintax and semant ics$fby Barendregt.
210   $aAmsterdam [etc.]$cNorth-Holland$d1984
225 1 $aStudies in logic and the foundations of mathematics$v103
300   $aRevised Edition
700  1$aBarendregt,$bH. P.$044637
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001130080403321
952   $aC-30-(103-REV$b995$fMA1
959   $aMA1
996   $aLambda calculus$9344857
997   $aUNINA