Kurt Gödel - Hämeen-Anttila, Maria. (Springer, 2023)