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