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