LEADER 00928nam0-22003371i-450-
001 990001493330403321
010   $a0-7923-6180-6
035   $a000149333
035   $aFED01000149333
035   $a(Aleph)000149333FED01
035   $a000149333
100   $a20020412d2000----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aa---a---001yy
200 1 $aHistory and philosophy of constructive type theory$fG. Sommaruga
210   $aDordrecht$cKluwer$dc2000
215   $ax, 354 p.$d24 cm
225 1 $aSyntese Library$v290
610 0 $aFilosofia$aTeoria
610 0 $aLogica matematica
676   $a511.3
700  1$aSommaruga,$bGiovanni$066496
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001493330403321
952   $aC-25-(190$b18869$fMA1
959   $aMA1
962   $a03-XX
996   $aHistory and philosophy of constructive type theory$9377782
997   $aUNINA

LEADER 01195nam2-2200397---450-
001 990000955700203316
005 20130516125039.0
010   $a88-459-1048-2
035   $a0095570
035   $aUSA010095570
035   $a(ALEPH)000095570USA01
035   $a0095570
100   $a20020212d1994----km-y0itay0103----ba
101 0 $aita
102   $aIT
105   $a||||||||001yy
200 1 $a<<4:>> Heidegger e la metafisica$fEmanuele Severino
210   $aMilano$cAdelphi$d1994
215   $a588 p.$d24 cm
461  1$10010095569$12001$aScritti di Emanuele Severino
600  1$aHeidegger,$bMartin$2BNCF
676   $a195
700  1$aSEVERINO,$bEmanuele$0152920
801  0$aIT$bsalbc$gISBD
912   $a990000955700203316
951   $aII.1.D. 2649/4(IV C 2298/4)$b116524 L.M.$cIV C$dII.1.D.
959   $aBK
969   $aUMA
979   $aPATTY$b90$c20020212$lUSA01$h1012
979   $c20020403$lUSA01$h1738
979   $aPATRY$b90$c20040406$lUSA01$h1706
979   $aCOPAT5$b90$c20050627$lUSA01$h1039
979   $aPASSARO$b90$c20130516$lUSA01$h1250
979   $aPASSARO$b90$c20130516$lUSA01$h1250
996   $aHeidegger e la metafisica$9858438
997   $aUNISA