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...
Call Number: | Libro Electrónico |
---|---|
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Sommaruga, Giovanni (Editor) |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2011.
|
Edition: | 1st ed. 2011. |
Series: | 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 |
Subjects: | |
Online Access: | Texto Completo |
Similar Items
-
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
by: Murawski, Roman
Published: (2014) -
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction /
by: Pudlák, Pavel
Published: (2013) -
Problems and Theorems in Classical Set Theory
by: Komjath, Peter, et al.
Published: (2006) -
A Course in Mathematical Logic for Mathematicians
by: Manin, Yu. I.
Published: (2010) -
Petr Hájek on Mathematical Fuzzy Logic
Published: (2015)