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