Giovanni Sommaruga

Foundational Theories of Classical and Constructive Mathematics
Giovanni Sommaruga · 2011
על הספר
Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.
פרטי הספר
- שנה
- 2011
- שפה
- English
- סדרה
- The Western Ontario Series in Philosophy of Science -- 76
- הוצאה
- Springer Science+Business Media B.V.
- מהדורות
- 3
- עמודים
- 328
- ISBN
- 9789400704305
מקור הנתונים: Wikidata
עוד של Giovanni Sommaruga
Giovanni Sommaruga

Turing's Revolution
Giovanni Sommaruga · 2016
Giovanni Sommaruga

History and philosophy of constructive type theory
Giovanni Sommaruga · 2013
Giovanni Sommaruga

History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)
Giovanni Sommaruga · 2000
Giovanni Sommaruga

Turing’s Revolution
Giovanni Sommaruga · 2016
Giovanni Sommaruga

Formal Theories of Information
Giovanni Sommaruga · 2009