HÄMEEN-ANTTILA, M. Gödel intuitionismista ja matematiikan konstruktiivisista perusteista. Ajatus, [S. l.], v. 77, n. 1, p. 439–448, 2020. Disponível em: https://journal.fi/ajatus/article/view/100286. Acesso em: 23 marras. 2024.