Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / Lorenz Halbeisen, Regula Krapf

• Autore: Halbeisen, Lorenz J.
• Pubblicazione: Cham, : Birkhäuser, : Springer, 2020
• Titolo uniforme: Gödel's Theorems and Zermelo's Axioms
• Descrizione fisica: x, 236 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03Exx - Set theory [MSC 2020]; 03Fxx - Proof theory and constructive mathematics [MSC 2020]; 03Bxx - General logic [MSC 2020]
• Soggetto non controllato: Completeness theorem; Constructible universe; Incompleteness theorem; Mathematical logic; Non-standard models; Peano arithmetic; Presburger arithmetic; Set Theory
• Altri autori: Krapf, Regula
• Titolo autorizzato: Gödel's Theorems and Zermelo's Axioms
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0249323
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-3-030-52279-7