Foundational Theories of Classical and Constructive Mathematics
By: edited by Giovanni Sommaruga
Contributors: SpringerLink (Online service)
Series: The Western Ontario Series in Philosophy of Science -- 76
Publisher: Springer Science+Business Media B.V.; Springer
Published: 2011
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] /
Number of pages: 328
ISBN-13: 9789400704305; 9789400704312
Subjects: Mathematics; Philosophy; Symbolic and mathematical Logic; Logic; Science
Description: 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.