- Godel's Incompleteness Theorems (Oxford Logic Guides) by Raymond M. Smullyan, 1992-08-20
- There's Something About Godel: The Complete Guide to the Incompleteness Theorem by Francesco Berto, 2009-11-16
- The Shackles of Conviction: A Novel about Kurt Gödel and his Incompleteness Theorem by James R Meyer, 2008-05-01
- Aspects of Incompleteness Lecture Notes in Logic 10 (Lecture Notes in Logic, 10) by Per Lindstrom, 2003-11
- Aspects of Incompleteness (Lecture Notes in Logic) by Per Lindstroem, 1997-01-15
- Proof Theory: Gödel's Incompleteness Theorems
- The Incompleteness Phenomenon by Martin Goldstern, Haim Judah, 1995-06-15
- Godel's Incompleteness Theorem; Little Mathematics Library by V. A. Uspensky, 1987
- Number Theory and Mathematical Logic: Godel's Incompleteness Theorems by OU Course Team, 2004-01-01
- Typographical Number Theory: Axiom, Natural Numbers, Douglas Hofstadter, Gödel, Escher, Bach, Peano Arithmetic, Gödel's Incompleteness Theorems
- Metatheorems: Entscheidungsproblem, Gödel's Completeness Theorem, Compactness Theorem, Gödel's Incompleteness Theorems
- Godel's Incompleteness Theorems by Open University Course Team, 2009-05-16
- Kolmogorov complexity: English language, Complexity, Turing completeness, Godel´s incompleteness theorems, Halting problem, Grammar induction, List of ... in theoretical computer science.
- Mathematical Logic: Proofs of Completeness and Incompleteness: An entry from Gale's <i>Science and Its Times</i> by Eric V. D. Luft, 2000
|