- A Logical Journey: From Gödel to Philosophy by Hao Wang, 1997-01-10
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel, 1992-04-01
- Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries) by Rebecca Goldstein, 2006-02-17
- Reflections on Kurt Gödel by Hao Wang, 1990-03-14
- Gödel: A Life of Logic by John L. Casti, Werner DePauli, 2001-09
- Gödel, Escher, Bach: An Eternal Golden Braid by Douglas R. Hofstadter, 1999-02-05
- Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic)
- Logical Dilemmas: The Life and Work of Kurt Godel by John W. Dawson Jr., 2005-05-28
- Gödel, Putnam, and Functionalism: A New Reading of Representation and Reality (Bradford Books) by Jeff Buechner, 2007-11-30
- Kurt Gödel: Unpublished Philosophical Essays
- An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy) by Peter Smith, 2007-08-06
- Collected Works: Volume III: Unpublished Essays and Lectures (Collected Works (Oxford)) (Vol 3) by Kurt Gödel, 2001-05-31
- Collected Works: Volume II: Publications 1938-1974 (Collected Works (Oxford)) by Kurt Gödel, 2001-06-21
- GODEL,ESCHER,BACH V502 by Douglas Hofstadter, 1980-09-12
|