LEADER 01150nam0-2200373---450 
001 990005599170203316
005 20220714144533.0
035   $a000559917
035   $aUSA01000559917
035   $a(ALEPH)000559917USA01
035   $a000559917
100   $a19981214d1965----|||y0itaa50------ba
101   $aeng
102   $aus
105   $a0 00|||
200 1 $a<<The >> undecidable$ebasic papers on undecidable propositions, unsolvable problems and computable functions$fedited by Martin Davis
210   $aNew York$cRaven$d1965
215   $a440 p.$d24 cm.
606   $aTEORIA DELLE DECISIONI$2F
606   $aTeorema di incompletezza di Gödel$2F
606   $aPROPOSIZIONI NON DECIDIBILI$2F
620   $dNEW YORK
676   $a511.3
702  1$aDAVIS,$bMartin
801  0$aIT$bSA$c20111219
912   $a990005599170203316
950  0$aDipar.to di Filosofia - Salerno$dDFF.V. UND (667)$e1754 FIL
951   $aXV.17. 542 (F.V. UND) (667)$b1754 FIL$cXV.17$d451032
959   $aBK
969   $aFVER
979   $c20121027$lUSA01$h1525
979   $c20121027$lUSA01$h1614
996   $aUndecidable$91011598
997   $aUNISA

LEADER 01014nam2-22003251i-450 
001 990005494350403321
005 20240531173324.0
035   $a000549435
035   $aFED01000549435
035   $a(Aleph)000549435FED01
035   $a000549435
100   $a19990530d1960----km-y0itay50------ba
101 0 $afre
105   $ay---a---00---
200 1 $aBio-bibliographie$fpar Ulysse Chevalier
205   $aRistampa della nuova ed. rivista: 1903-1907
210   $aNew York$cKraus Reprint$d1960
215   $a2 v.$d26 cm
327 1 $a1.: A-I$a2.: J-Z
461  1$1001000549433$12001$aRépertoire des sources historiques du Moyen âge
700  1$aChevalier,$bUlysse$0180723
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990005494350403321
952   $aST.MED.MOD. 2995 (1)$bST.MED.MOD.$fFLFBC
952   $aST.MED.MOD. 2995 (2)$bST.MED.MOD.$fFLFBC
952   $a016.90.907 CHE (1-2)$bBIBL. 34539$fFLFBC
959   $aFLFBC
996   $aBio-bibliographie$9589573
997   $aUNINA