Foundational Theories of Classical and Constructive Mathematics

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Sommaruga, Giovanni (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
• Σειρά: The Western Ontario Series in Philosophy of Science, 76
• Θέματα: Mathematics.; Logic.; Philosophy and science.; Mathematical logic.; Mathematical Logic and Foundations.; Philosophy of Science.

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 confrontation of two k...