LEADER 00714nam0-22002411i-450-
001 990001130060403321
035   $a000113006
035   $aFED01000113006
035   $a(Aleph)000113006FED01
035   $a000113006
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $a<<The >>Lamda calculus$eits syntax and semantics$fby BARENDREGT.
210   $aAmsterdam [etc.]$cNorth-Holland$d1981
225 1 $aStudies in logic and the foundations of mathematics$v103
700  1$aBarendregt,$bH. P.$044637
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001130060403321
952   $aC-30-(103$b2033$fMA1
959   $aMA1
996   $aLamda calculus$9344859
997   $aUNINA

LEADER 00790nam0-22002891i-450-
001 990003343070403321
005 20001010
035   $a000334307
035   $aFED01000334307
035   $a(Aleph)000334307FED01
035   $a000334307
100   $a20001010d--------km-y0itay50------ba
101 0 $aita
105   $ay-------001yy
200 1 $a<<The >>METAPHYSICALS AND MILTON
210   $aLONDON$cCHATTO & WINDUS$d1960
610 0 $aLetteratura ( Critica )
676   $a809
700  1$aTillyard,$bEustace Mandeville Wetenhall$f<1889-1962>$0197858
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990003343070403321
952   $a809 TIL$bLINGUE 032968$fDECLI
959   $aDECLI
996   $aMETAPHYSICALS AND MILTON$9442715
997   $aUNINA
DB    $aING01