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