Article Dawson, John W., Jr.; (2012)
Jean van Heijenoort and the Gödel Editorial Project (/isis/citation/CBB001214115/)

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 Gödel, Kurt; Feferman, Solomon; Dawson, John W., Jr.; Goldfarb, Warren; Parsons, Charles; Sieg, Wilfried; (2003)
Collected Works, Volume 5: Correspondence, H--Z (/isis/citation/CBB000650741/)

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 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 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 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 Yasugi, Mariko; Passell, Nicholas; (2003)
Memoirs of a Proof Theorist: Gödel and Other Logicians (/isis/citation/CBB000501509/)

Chapter Dória, Francisco A.; Dória, Manuel; (2010)
Einstein, Gödel, and the Mathematics of Time (/isis/citation/CBB001250581/)

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

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

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

Book Davis, Martin; (2000)
The Universal Computer: The Road from Leibniz to Turing (/isis/citation/CBB000102163/)

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

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 Heijenoort, Jean van; (2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (/isis/citation/CBB000201415/)

Book Rédei, Miklós; Stöltzner, Michael; (2001)
John von Neumann and the Foundations of Quantum Physics (/isis/citation/CBB000100737/)

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