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