Foundational Theories of Classical and Constructive Mathematics
The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontatio...
Cote: | Libro Electrónico |
---|---|
Collectivité auteur: | SpringerLink (Online service) |
Autres auteurs: | Sommaruga, Giovanni (Éditeur intellectuel) |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2011.
|
Édition: | 1st ed. 2011. |
Collection: | The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields,
76 |
Sujets: | |
Accès en ligne: | Texto Completo |
Documents similaires
-
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
par: Murawski, Roman
Publié: (2014) -
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction /
par: Pudlák, Pavel
Publié: (2013) -
Problems and Theorems in Classical Set Theory
par: Komjath, Peter, et autres
Publié: (2006) -
A Course in Mathematical Logic for Mathematicians
par: Manin, Yu. I.
Publié: (2010) -
Petr Hájek on Mathematical Fuzzy Logic
Publié: (2015)