Cover of Foundational Theories of Classical and Constructive Mathematics

Book 2011

Foundational Theories of Classical and Constructive Mathematics

2 readers

Publisher
Springer Science+Business Media B.V.
Language
English
Published
2011
  • Mathematics
  • Philosophy
  • Symbolic and mathematical Logic
  • Logic
  • Science

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.