Hämeen-Anttila, Maria. 2020. ”Gödel intuitionismista ja matematiikan konstruktiivisista perusteista”. Ajatus 77 (1):439–448. https://journal.fi/ajatus/article/view/100286.