LEADER 01985nam0 22004573i 450 001 VAN00249323 005 20240806101418.614 017 70$2N$a9783030522797 100 $a20220829d2020 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aGödel's Theorems and Zermelo's Axioms$eA Firm Foundation of Mathematics$fLorenz Halbeisen, Regula Krapf 210 $aCham$cBirkhäuser$cSpringer$d2020 215 $ax, 236 p.$cill.$d24 cm 500 1$3VAN00249324$aGödel's Theorems and Zermelo's Axioms$92905443 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 606 $a03Exx$xSet theory [MSC 2020]$3VANC019939$2MF 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 610 $aCompleteness theorem$9KW:K 610 $aConstructible universe$9KW:K 610 $aIncompleteness theorem$9KW:K 610 $aMathematical logic$9KW:K 610 $aNon-standard models$9KW:K 610 $aPeano arithmetic$9KW:K 610 $aPresburger arithmetic$9KW:K 610 $aSet Theory$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aHalbeisen$bLorenz J.$3VANV095728$0767629 701 1$aKrapf$bRegula$3VANV203957$01253238 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250314$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-52279-7$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 $aVAN00249323 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 4686 $e08eMF4686 20220829 996 $aGödel's Theorems and Zermelo's Axioms$92905443 997 $aUNICAMPANIA