LEADER 01338nam0-2200433---450 001 990005671560203316 005 20200624114220.0 035 $a000567156 035 $aUSA01000567156 035 $a(ALEPH)000567156USA01 035 $a000567156 100 $a20050729d19741982|||y0itaa50------ba 101 $aita 102 $ait 105 $a0 00||| 200 1 $a<> prova di Gödel$fErnest Nagel, James R. Newman$g[traduzione di Luigi Bianchi] 210 $aTorino$cBoringhieri$d1974 (stampa 1982) 215 $a108 p.$d19 cm 225 2 $aUniversale scientifica$v102 300 $aTrad. di: Gödel's Proof. 410 0$12001$aUniversale scientifica$v102 454 $1001SA0014577$12001$aGodel's proof$fErnest Nagel, James R. Newman.$921209 606 $aTeorema di incompletezza di Gödel$2F 606 $aLogica matematica$2F 620 $dTORINO 676 $a511.3 700 1$aNAGEL,$bErnest$012057 701 1$aNEWMAN,$bJames R.$026295 702 1$aBIANCHI,$bLuigi 801 0$aIT$bSA$c20111219 912 $a990005671560203316 950 0$aDipar.to di Filosofia - Salerno$dDFCC 511.3 NAG$e1038 FIL 951 $aCC 511.3 NAG$b1038 FIL 959 $aBK 969 $aFIL 979 $c20121027$lUSA01$h1526 979 $c20121027$lUSA01$h1615 996 $aGodel's proof$921209 997 $aUNISA