LEADER 01265cam0-22004811i-450 
001 990000980060403321
005 20230731144546.0
010   $a0-7204-2208-6
035   $a000098006
035   $aFED01000098006
035   $a(Aleph)000098006FED01
035   $a000098006
100   $a20001205g19581972km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $ay-------001yy
200 1 $aCombinatory logic$fHaskell B. Curry ... [et al.]
210   $aAmsterdam$cNorth-Holland$d1958-1972
215   $a2 v.$d23 cm
225 1 $aStudies in logic and the foundations of mathematics
610 0 $aLogica
610 0 $aRicorsività
610 0 $aLogica combinatoria
610 0 $aLogica e fondamenti
676   $a160
676   $a511.3
700  1$aCurry,$bHaskell B.$0557
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000980060403321
952   $aMXXXII-B-9$b421$fMAS
952   $a7-039$b439$fFI1
952   $a7-039/001$fFI1
952   $a13 K 61 37$b23344$fFINBC
952   $aC-30-(29-1$b5562$fMA1
952   $aFil. Teor. 3235$b3642$fFLFBC
959   $aFI1
959   $aFINBC
959   $aMA1
959   $aMAS
959   $aFLFBC
996   $aCombinatory Logic$9344022
997   $aUNINA