Kurt Gödel - Hämeen-Anttila, Maria; von Plato, Jan (Cham Springer, 2023)