Book ID: CBB000410633

History and Philosophy of Constructive Type Theory (2000)

unapi

Sommaruga, Giovanni (Author)


Kluwer


Publication Date: 2000
Physical Details: x + 354 pp.; figs., tables; notes, references
Language: English

Description Traces how the Brouwer-Heyting-Kolmogrov interpretation has become the characteristic of constructive logic or mathematics in general. (from pp. viii-ix)


Citation URI
https://data.isiscb.org/isis/citation/CBB000410633/

Similar Citations

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/)

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 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/)

Authors & Contributors
Potter, Michael D.
Wolfsdorf, David
Weiner, Joan
Sutherland, Daniel
Shapiro, Stewart
Rusnock, Paul
Journals
History and Philosophy of Logic
HOPOS
The Review of Modern Logic
British Journal for the Philosophy of Science
Apeiron: Journal for Ancient Philosophy and Science
Publishers
Oxford University Press
Princeton University Press
J. Vrin
Indiana University Press
Harvard University Press
Brill Academic
Concepts
Philosophy of mathematics
Logic
Mathematics
Philosophy
Set theory
Geometry
People
Frege, Gottlob
Russell, Bertrand Arthur William
Gödel, Kurt
Goblot, Edmond
Dubislav, Walter
Wolff, Christian von
Time Periods
19th century
20th century
20th century, early
21st century
Ancient
18th century
Places
Greece
Germany
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment