LEADER 01685nam0 2200325 i 450 
001 SUN0051170
005 20180604122202.567
010   $a978-04-86669-80-9$d0.00
100   $a20060905d1992       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aOn *formally undecidable propositions of Principia mathematica and related systems$fKurt Gödel$gtranslated by B. Meltzer$gintroduction by R. B. Braithwaite
210   $aNew York$cDover$d1992
215   $aVIII, 72 p.$d21 cm.
410  1$1001SUN0023566$12001 $aDover books on advanced mathematics$1210  $aNew York$cDover.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$2MF$3SUNC024401
606   $a03F40$xGödel numberings and issues of incompleteness [MSC 2020]$2MF$3SUNC024403
606   $a03D35$xUndecidability and degrees of sets of sentences [MSC 2020]$2MF$3SUNC024436
620   $aUS$dNew York$3SUNL000011
700  1$aGödel$b, Kurt$3SUNV040163$0346201
712   $aDover$3SUNV000279$4650
790  1$aGodel, Kurt$zGödel, Kurt$3SUNV036233
801   $aIT$bSOL$c20200803$gRICA
856 4 $uhttps://books.google.it/books?id=0R9oDmaqmNUC&pg=PA37&dq=9780486669809&hl=it&sa=X&ved=0ahUKEwibjJC-5LnbAhVBY1AKHaQeDFQQ6AEIJzAA#v=onepage&q&f=false$zPreview
912   $aSUN0051170
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1650        $e08   1992      I       20060905            
996   $aFormally undecidable propositions of Principia mathematica and related systems$91427513
997   $aUNICAMPANIA