Gödel's Theorems and Zermelo's Axioms

DOI10.1007/978-3-030-52279-7MaRDI QIDQ5138448zbMATH OpenOpenAlexFDO

Authors Lorenz Halbeisen, Regula Krapf

Publication date 3 December 2020

Full work available at URL https://doi.org/10.1007/978-3-030-52279-7

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03Bxx) Set theory (03Exx) Proof theory and constructive mathematics (03Fxx)

Recommendations

• scientific article; zbMATH DE number 785429
• An introduction to Gödel's theorems
• An Introduction to Gödel's Theorems
• scientific article; zbMATH DE number 53543
• Sets, models and proofs

Cited in

(1)

• scientific article; zbMATH DE number 4004148 (Why is no real title available?)

This page was built for publication: Gödel's Theorems and Zermelo's Axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5138448)