LEADER 01243nam2-2200385---450-
001 990003228810203316
005 20091110095854.0
035   $a000322881
035   $aUSA01000322881
035   $a(ALEPH)000322881USA01
035   $a000322881
100   $a20090427d197274--km-y0itay50------ba
101   $aeng
102   $aNL
105   $a||||||||001yy
200 1 $aCombinatory logic$fHaskell B. Curry...[et. al]$gA. Heyting...[et al.] (Eds.)
210   $aAmsterdam$cNorth-Holland$d1972-74
215   $av.$cill.$d23 cm
225 2 $aStudies in logic and the foundations of mathematics$v14-65
327   $a<<Vol. 1:>> XVIII, 417 p. - <<Vol. 2:>> XIV, 520 p.
410  1$1001000334586$12001$aStudies in logic and the foundations of mathematics$v14-65
606 0 $aLogica matematica
676   $a511.3
700  1$aHASKELL,$bB. Curry$0561577
702  1$aHEYTING,$bA.
801  0$aIT$bsalbc$gISBD
912   $a990003228810203316
951   $a510 SL 14$b2753/CBS$c510$d00218728
951   $a510 SL 65$b2754/CBS$c510$d00218729
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20090427$lUSA01$h1145
979   $aRSIAV7$b90$c20091110$lUSA01$h0958
996   $aCombinatory logic$91013425
997   $aUNISA