Mathematical Logic in Vienna - Kurt Gödel; Gödel, Kurt; Hahn, Hans (Springer Nature, 2024)