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