Book Emanuele Gambetta (2023)
Il Teorema di Dio. (/isis/citation/CBB058518438/) unapi

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

Book Tim Lethen (2021)
Gespräche, Vorträge, Séancen: Kurt Gödels Wiener Protokolle 1937/38: Transkriptionen und Kommentare. (/isis/citation/CBB086928957/) unapi

Article Tim Lethen (2020)
Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach. History and Philosophy of Logic (pp. 252-264). (/isis/citation/CBB073357293/) unapi

Article Srećko Kovač (2020)
On causality as the fundamental concept of Gödel’s philosophy. Synthese (pp. 1803-1838). (/isis/citation/CBB991048612/) unapi

Review Christopher P. Porter (2019)
Review of "Computability: Turing, Gödel, Church, and Beyond". Historia Mathematica. (/isis/citation/CBB429673039/) unapi

Book William Boos; Florence S. Boos (2018)
Metamathematics and the Philosophical Tradition. (/isis/citation/CBB060593902/) 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. Arbor: Ciencia, Pensamiento y Cultura (p. 333). (/isis/citation/CBB213803167/) unapi

Article Michael Friedman (2016)
Über drei Erscheinungen von Unterschied in der Mathematik. Berichte zur Wissenschaftsgeschichte (pp. 7-35). (/isis/citation/CBB583491506/) unapi

Book Lynn Gamwell (2016)
Mathematics and Art: A Cultural History. (/isis/citation/CBB729044264/) unapi

Book B. Jack Copeland; Carl J. Posy; Oron Shagrir (2015)
Computability: Turing, Gödel, Church, and Beyond. (/isis/citation/CBB900019272/) unapi

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

Article Manzano, Maria; Alonso, Enrique (2014)
Completeness: From Gödel to Henkin. History and Philosophy of Logic (pp. 50-75). (/isis/citation/CBB001213927/) unapi

Book Kurt Godel; Solomon Feferman; John W. Dawson; et al. (2013)
Kurt Gödel: Collected Works: Volume IV. (/isis/citation/CBB660754544/) unapi

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

Book Rod Adams (2011)
An Early History of Recursive Functions and Computability from Godel to Turing. (/isis/citation/CBB059820056/) unapi

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

Article Paseau, Alexander (2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence. Studies in History and Philosophy of Science (p. 140). (/isis/citation/CBB001024149/) unapi

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

Article Formica, Giambattista (2010)
Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections. Perspectives on Science (p. 480). (/isis/citation/CBB001034599/) unapi