Book Stephen Budiansky; (2021)
Journey to the Edge of Reason: The Life of Kurt Gödel (/p/isis/citation/CBB142778671/) unapi

Book Goldstein, Rebecca; (2005)
Incompleteness: The Proof and Paradox of Kurt Gödel (/p/isis/citation/CBB000520034/) unapi

Article Michael Friedman; (2016)
Über drei Erscheinungen von Unterschied in der Mathematik (/p/isis/citation/CBB583491506/) unapi

Book Kurt Godel; Solomon Feferman; John W. Dawson; Warren Goldfarb; Charles Parsons; Wilfried Sieg; (2013)
Kurt Gödel: Collected Works: Volume IV (/p/isis/citation/CBB660754544/) unapi

Book Baaz, Matthias; (2011)
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth (/p/isis/citation/CBB001210590/) unapi

Book William Boos; Florence S. Boos; (2018)
Metamathematics and the Philosophical Tradition (/p/isis/citation/CBB060593902/) unapi

Book Gödel, Kurt; Feferman, Solomon; Dawson, John W., Jr.; Parsons, Charles; Solovay, Robert M.; (2001)
Collected Works, Volume 3: Unpublished Essays and Lectures (/p/isis/citation/CBB000630355/) unapi

Article Paseau, Alexander; (2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence (/p/isis/citation/CBB001024149/) unapi

Book Juliette Kennedy; (2014)
Interpreting Godel: Critical Essays (/p/isis/citation/CBB427455296/) unapi

Article Manzano, Maria; Alonso, Enrique; (2014)
Completeness: From Gödel to Henkin (/p/isis/citation/CBB001213927/) unapi

Book Casti, John L.; DePauli, Werner; (2000)
Gödel: A Life of Logic (/p/isis/citation/CBB000520007/) unapi

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 (/p/isis/citation/CBB000630356/) unapi

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 (/p/isis/citation/CBB000630371/) unapi

Book Tieszen, Richard L.; (2011)
After Gödel: Platonism and Rationalism in Mathematics and Logic (/p/isis/citation/CBB001210605/) unapi

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 (/p/isis/citation/CBB000111675/) unapi

Article Bouveresse, Jacques; (2001)
Mathématiques et logique chez Leibniz (/p/isis/citation/CBB000770919/) unapi

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 (/p/isis/citation/CBB000102346/) unapi

Book Gödel, Kurt; Feferman, Solomon; Dawson, John W., Jr.; Goldfarb, Warren; Parsons, Charles; Sieg, Wilfried; (2003)
Collected Works, Volume 5: Correspondence, H--Z (/p/isis/citation/CBB000650741/) unapi

Article Karela, Catherine; (2010)
Hilbert on Different Notions of Completeness: A Conceptual and Historical Analysis (/p/isis/citation/CBB001220619/) unapi

Article Oscar Orellana Estay; Ronald Durán Allimant; (2016)
Sobre el realismo matemático de Zubiri y su interpretación de los teoremas de Gödel y Cohen (/p/isis/citation/CBB213803167/) unapi