Giovanni Sommaruga
Foundational Theories of Classical and Constructive Mathematics
Giovanni Sommaruga · 2011
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonAbout the book
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.
Book details
- Year
- 2011
- Language
- English
- Series
- The Western Ontario Series in Philosophy of Science -- 76
- Publisher
- Springer Science+Business Media B.V.
- Editions
- 3
- Pages
- 328
- ISBN
- 9789400704305
Data source: Wikidata
More by 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