LEADER 02202nam0 22004573i 450 001 VAN0248756 005 20230529021216.65 017 70$2N$a9783030508760 100 $a20220729d2020 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aCan Mathematics Be Proved Consistent?$eGödel's Shorthand Notes & Lectures on Incompleteness$fJan von Plato 210 $aCham$cSpringer$d2020 215 $aix, 263 p.$cill.$d24 cm 410 1$1001VAN0051123$12001 $aSources and studies in the history of mathematics and physical sciences$1210 $aBerlin [etc.]$cSpringer 500 1$3VAN0248757$aCan Mathematics Be Proved Consistent?$92083320 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a01A70$xBiographies, obituaries, personalia, bibliographies [MSC 2020]$3VANC019752$2MF 606 $a01A60$xHistory of mathematics in the 20th century [MSC 2020]$3VANC021492$2MF 606 $a01A75$xCollected or selected works; reprintings or translations of classics [MSC 2020]$3VANC021493$2MF 606 $a03F40$xGödel numberings and issues of incompleteness [MSC 2020]$3VANC024403$2MF 610 $aCompleteness problem$9KW:K 610 $aGerman mathematicians$9KW:K 610 $aGödel incompleteness theorem$9KW:K 610 $aGödel lectures$9KW:K 610 $aGödel notes$9KW:K 610 $aIncompleteness theorems$9KW:K 610 $aPrincipia Mathematica$9KW:K 610 $aSkolem's paradox$9KW:K 620 $aCH$dCham$3VANL001889 700 1$avon Plato$bJan$3VANV094802$0766770 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-50876-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0248756 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 4583 $e08eMF4583 20220729 996 $aCan Mathematics Be Proved Consistent$92083320 997 $aUNICAMPANIA