01985nam0 22004573i 450 VAN0024932320240806101418.614N978303052279720220829d2020 |0itac50 baengCH|||| |||||Gödel's Theorems and Zermelo's AxiomsA Firm Foundation of MathematicsLorenz Halbeisen, Regula KrapfChamBirkhäuserSpringer2020x, 236 p.ill.24 cmVAN00249324Gödel's Theorems and Zermelo's Axioms290544303-XXMathematical logic and foundations [MSC 2020]VANC019750MF03BxxGeneral logic [MSC 2020]VANC024425MF03ExxSet theory [MSC 2020]VANC019939MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFCompleteness theoremKW:KConstructible universeKW:KIncompleteness theoremKW:KMathematical logicKW:KNon-standard modelsKW:KPeano arithmeticKW:KPresburger arithmeticKW:KSet TheoryKW:KCHChamVANL001889HalbeisenLorenz J.VANV095728767629KrapfRegulaVANV2039571253238Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20250314RICAhttp://doi.org/10.1007/978-3-030-52279-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00249323BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 4686 08eMF4686 20220829 Gödel's Theorems and Zermelo's Axioms2905443UNICAMPANIA