Article Feferman, Anita Burdman; (2012)
Jean van Heijenoort: Kaleidoscope (/isis/citation/CBB001214114/)

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

Article Anellis, Irving; (2012)
Guest Editor's Introduction: JvH100 (/isis/citation/CBB001214112/)

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

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.; Goldfarb, Warren; Parsons, Charles; Sieg, Wilfried; (2003)
Collected Works, Volume 5: Correspondence, H--Z (/isis/citation/CBB000650741/)

Book Gödel, Kurt; Feferman, Solomon; (2003)
Collected Works (/isis/citation/CBB000550667/)

Article Anellis, Irving; (2012)
Jean van Heijenoort's Contributions to Proof Theory and Its History (/isis/citation/CBB001214119/)

Article Feferman, Solomon; (2012)
On Rereading van Heijenoort's Selected Essays (/isis/citation/CBB001214123/)

Article Anellis, Irving; (2012)
Editor's Introduction to Jean van Heijenoort, Historical Development of Modern Logic (/isis/citation/CBB001214116/)

Article de Rouilhan, Philippe; (2012)
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort (/isis/citation/CBB001214124/)

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

Book Yasugi, Mariko; Passell, Nicholas; (2003)
Memoirs of a Proof Theorist: Gödel and Other Logicians (/isis/citation/CBB000501509/)

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

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

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

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