M. Hämeen-Anttila, ”Gödel intuitionismista ja matematiikan konstruktiivisista perusteista”, ajatus, vsk. 77, nro 1, ss. 439–448, joulu 2020.