Hämeen-Anttila, M. Gödel intuitionismista ja matematiikan konstruktiivisista perusteista. ajatus 2020, 77, 439–448.