Hämeen-Anttila, M. 2020. Gödel intuitionismista ja matematiikan konstruktiivisista perusteista. Ajatus. 77, 1 (joulu 2020), 439–448.