Book
Stephen Budiansky;
(2021)
Journey to the Edge of Reason: The Life of Kurt Gödel
(/isis/citation/CBB142778671/)
Book
Goldstein, Rebecca;
(2005)
Incompleteness: The Proof and Paradox of Kurt Gödel
(/isis/citation/CBB000520034/)
Book
William Boos;
Florence S. Boos;
(2018)
Metamathematics and the Philosophical Tradition
(/isis/citation/CBB060593902/)
Article
Manzano, Maria;
Alonso, Enrique;
(2014)
Completeness: From Gödel to Henkin
(/isis/citation/CBB001213927/)
Article
Michael Friedman;
(2016)
Über drei Erscheinungen von Unterschied in der Mathematik
(/isis/citation/CBB583491506/)
Book
Gödel, Kurt;
Feferman, Solomon;
Dawson, John W., Jr.;
Kleene, Stephen C.;
Moore, Gregory H.;
Solovay, Robert M.;
Heijenoort, Jean van;
(2001)
Collected Works, Volume 1: Publications, 1929--1936
(/isis/citation/CBB000630371/)
Book
Tieszen, Richard L.;
(2011)
After Gödel: Platonism and Rationalism in Mathematics and Logic
(/isis/citation/CBB001210605/)
Book
Juliette Kennedy;
(2014)
Interpreting Godel: Critical Essays
(/isis/citation/CBB427455296/)
Book
Kurt Godel;
Solomon Feferman;
John W. Dawson;
Warren Goldfarb;
Charles Parsons;
Wilfried Sieg;
(2013)
Kurt Gödel: Collected Works: Volume IV
(/isis/citation/CBB660754544/)
Book
Gödel, Kurt;
Feferman, Solomon;
Dawson, John W., Jr.;
Parsons, Charles;
Solovay, Robert M.;
Heijenoort, Jean van;
(2001)
Collected Works, Volume 2: Publications, 1938--1974
(/isis/citation/CBB000630356/)
Book
Casti, John L.;
DePauli, Werner;
(2000)
Gödel: A Life of Logic
(/isis/citation/CBB000520007/)
Article
Paseau, Alexander;
(2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence
(/isis/citation/CBB001024149/)
Book
Baaz, Matthias;
(2011)
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
(/isis/citation/CBB001210590/)
Book
Gödel, Kurt;
Feferman, Solomon;
Dawson, John W., Jr.;
Parsons, Charles;
Solovay, Robert M.;
(2001)
Collected Works, Volume 3: Unpublished Essays and Lectures
(/isis/citation/CBB000630355/)
Book
Maurice Clavelin;
(2016)
Galilée, cosmologie et science du mouvement: Suivi de Regards sur l'empirisme au XXe siècle
(/isis/citation/CBB515633832/)
Chapter
Lara Piersanti;
(2000)
Vailati e Russell
(/isis/citation/CBB615477680/)
Article
Bouveresse, Jacques;
(2001)
Mathématiques et logique chez Leibniz
(/isis/citation/CBB000770919/)
Book
Grattan-Guinness, I.;
(2000)
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel
(/isis/citation/CBB000111675/)
Book
Giovanni Vailati;
Claudia Arrighi;
Paola Cantù;
Mauro De Zan;
Patrick Suppes;
(2010)
Logic and Pragmatism: Selected Essays by Giovanni Vailati
(/isis/citation/CBB877530276/)
Chapter
Silvio Bozzi;
(2000)
Vailati e la logica
(/isis/citation/CBB852479099/)
Be the first to comment!