Hämeen-Anttila, Maria (ed.) Kurt Gödel : the Princeton Lectures on Intuitionism Cham, Switzerland : Springer, 2021. ix, 133 p. -- (Sources and studies in the history of mathematics and physical sciences) QA9.47 K875