Hämeen-Anttila M. Gödel intuitionismista ja matematiikan konstruktiivisista perusteista. ajatus [Internet]. 7. joulukuuta 2020 [viitattu 19. huhtikuuta 2024];77(1):439–448. Saatavissa: https://journal.fi/ajatus/article/view/100286