Gödel intuitionismista ja matematiikan konstruktiivisista perusteista

  • Maria Hämeen-Anttila Helsingin yliopisto

Abstrakti

Gödel intuitionismista ja matematiikan konstruktiivisista perusteista

Osasto
Lektiot
Julkaistu
joulu 7, 2020
Viittaaminen
Hämeen-Anttila, M. (2020). Gödel intuitionismista ja matematiikan konstruktiivisista perusteista. Ajatus, 77(1), 439–448. Noudettu osoitteesta https://journal.fi/ajatus/article/view/100286