Gödel intuitionismista ja matematiikan konstruktiivisista perusteista

Kirjoittajat

  • Maria Hämeen-Anttila Helsingin yliopisto

Abstrakti

Gödel intuitionismista ja matematiikan konstruktiivisista perusteista

Tiedostolataukset

Julkaistu

2020-12-07

Numero

Vol 77 Nro 1 (2020): Ajatus 77

Osasto

Lektiot

Viittaaminen

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