LEADER 01894nam0 2200349 i 450 
001 VAN00051170
005 20240806100455.596
010   $a978-04-86669-80-9
100   $a20060905d1992       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aˆOn ‰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$1001VAN00023566$12001 $aDover books on advanced mathematics$1210  $aNew York$cDover
500  1$3VAN00270444$aÜber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme$93870233
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a03D35$xUndecidability and degrees of sets of sentences [MSC 2020]$3VANC024436$2MF
606   $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$3VANC024401$2MF
606   $a03F40$xGödel numberings and issues of incompleteness [MSC 2020]$3VANC024403$2MF
620   $aUS$dNew York$3VANL000011
700  1$aGödel$bKurt$3VANV040163$0346201
712   $aDover <editore>$3VANV108158$4650
790  1$aGodel, Kurt$zGödel, Kurt$3VANV036233
801   $aIT$bSOL$c20240906$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
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00051170
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1650        $e08   1992      I       20060905            
996   $aÜber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme$93870233
997   $aUNICAMPANIA