01982nam0 22004573i 450 VAN024932320230530101001.343N978303052279720220829d2020 |0itac50 baengCH|||| |||||Gödel's Theorems and Zermelo's AxiomsA Firm Foundation of MathematicsLorenz Halbeisen, Regula KrapfChamBirkhäuserSpringer2020x, 236 p.ill.24 cmVAN0249324Gödel's Theorems and Zermelo's Axioms290544303-XXMathematical logic and foundations [MSC 2020]VANC019750MF03ExxSet theory [MSC 2020]VANC019939MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MF03BxxGeneral logic [MSC 2020]VANC024425MFCompleteness theoremKW:KConstructible universeKW:KIncompleteness theoremKW:KMathematical logicKW:KNon-standard modelsKW:KPeano arithmeticKW:KPresburger arithmeticKW:KSet TheoryKW:KCHChamVANL001889HalbeisenLorenz J.VANV095728767629KrapfRegulaVANV2039571253238Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttp://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-CE0120VAN08NVAN0249323BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4686 08eMF4686 20220829 Gödel's Theorems and Zermelo's Axioms2905443UNICAMPANIA