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