Gödel intuitionismista ja matematiikan konstruktiivisista perusteista

Authors

  • Maria Hämeen-Anttila Helsingin yliopisto

Abstract

Gödel intuitionismista ja matematiikan konstruktiivisista perusteista

Issue
Vol. 77 No. 1 (2020): Ajatus 77
Section
Lektiot

Published

2020-12-07

How to Cite

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