Written on 19 Marzo 2024.

Halbeisen, Lorenz Gödel’s theorems and Zermelo’s axioms : a firm foundation of mathematics Cham, Switzerland : Birkhäuser, 2020. x, 236 p. QA9.65 H355