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