Kurt Gödel : The Princeton Lectures on Intuitionism - Hämeen-Anttila, Maria; von Plato, Jan (Cham Springer International Publishing AG, 2022)