Sommaruga, Giovanni (Author)
Description Traces how the Brouwer-Heyting-Kolmogrov interpretation has become the characteristic of constructive logic or mathematics in general. (from pp. viii-ix)
Chapter
Sutherland, Daniel;
(2010)
Philosophy, Geometry, and Logic in Leibniz, Wolff, and the Early Kant
(/isis/citation/CBB001033539/)
Chapter
Hylton, Peter;
(2010)
Frege and Russell
(/isis/citation/CBB001211659/)
Article
Manzano, Maria;
Alonso, Enrique;
(2014)
Completeness: From Gödel to Henkin
(/isis/citation/CBB001213927/)
Article
Rusnock, Paul;
(2013)
On Bolzano's Concept of a Sum
(/isis/citation/CBB001212145/)
Essay Review
Klement, Kevin C.;
(2007--2008)
A New Century in the Life of a Paradox
(/isis/citation/CBB001567033/)
Book
Ricketts, Tom;
Potter, Michael D.;
(2010)
The Cambridge Companion to Frege
(/isis/citation/CBB001211647/)
Article
Shapiro, Stewart;
(2003)
Prolegomenon to Any Future Neo-Logicist Set Theory: Abstraction and Indefinite Extensibility
(/isis/citation/CBB000410717/)
Book
John P. Burgess;
(2015)
Rigor and Structure
(/isis/citation/CBB621282384/)
Chapter
Weiner, Joan;
(2010)
Understanding Frege's Project
(/isis/citation/CBB001211648/)
Article
Marco Buzzoni;
(2021)
A Neglected Chapter in the History of Philosophy of Mathematical Thought Experiments: Insights from Jean Piaget’s Reception of Edmond Goblot
(/isis/citation/CBB742523599/)
Article
Saul A. Kripke;
(2022)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
(/isis/citation/CBB257161891/)
Book
Rashed, Roshdi;
Bellosta, Hélène;
(2000)
Ibrāhīm ibn Sinān. Logique et Géométrie au Xe siècle
(/isis/citation/CBB000111392/)
Book
Grattan-Guiness, I.;
(2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
(/isis/citation/CBB000102346/)
Book
Potter, Michael;
(2004)
Set Theory and Its Philosophy
(/isis/citation/CBB000502611/)
Book
Heijenoort, Jean van;
(2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
(/isis/citation/CBB000201415/)
Article
Nikolay Milkov;
(2016)
Walter Dubislav’s Philosophy of Science and Mathematics
(/isis/citation/CBB827471050/)
Article
Reck, Erich H.;
(2013)
Frege, Dedekind, and the Origins of Logicism
(/isis/citation/CBB001212886/)
Book
Hopkins, Burt C.;
(2011)
The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein
(/isis/citation/CBB001212146/)
Book
Bernays, Paul;
(2003)
Philosophie des mathématiques
(/isis/citation/CBB000501923/)
Article
Wolfsdorf, David;
(2003)
Understanding the “What-is-F?” Question
(/isis/citation/CBB000530282/)
Be the first to comment!