TY  - BOOK
AU  - Lorenz Halbeisen, Regula Krapf
TI  - Gödel's Theorems and Zermelo's Axioms
SN  - 9783030522797
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-030-52279-7
ER  -