 Redundancies in the HilbertBernays derivability conditions for Godel's second incompleteness theorem (Research report / Carnegie Institute of Technology. Dept. of Mathematics) by Robert G Jeroslow, 1972
 Godel's Incompleteness Theorem (Little Mathematics Library) by V. A. Uspensky, 198903
 GÖDEL'S INCOMPLETENESS THEOREMS: An entry from Gale's <i>Encyclopedia of Philosophy</i> by Vann McGee, 2006
 GÖDEL's INCOMPLETENESS THEOREM: An entry from Macmillan Reference USA's <i>Encyclopedia of Science and Religion</i> by W. M. PRIESTLEY, 2003
 GoÌˆdel's incompleteness theorem (Little mathematics library) by V. A UspenskiiÌ†, 1987
 The incompleteness theorems (Communications of the Mathematical Institute, Rijksuniversiteit Utrecht ; 4) by H. P Barendregt, 1976
 The incompleteness theorems (Communications of the Mathematical Institute, Rijksuniversiteit Utrecht) by Henk Barendreght, 1976
 Gödel's Incompleteness Theorems: Gödel's incompleteness theorems. Proof sketch for Gödel's first incompleteness theorem, Mechanism (philosophy), Mathematical ... theory, Euclidean geometry, Diagonal lemma
 Computational complexity and Godel's incompleteness theorem: And To a mathematical definition of life, (Monographs in computer science and computer applications) by Gregory J Chaitin, 1970
 Godel Incompleteness Theorem (Iwanami Paperback) Japanese Language Book by Godel, 2006
 A Concise Introduction to Mathematical Logic (Universitext) by Wolfgang Rautenberg, 20091217
 Introduction to Mathematical Logic, Fourth Edition by E. Mendelson, 19970601
 Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications) by Elliott Mendelson, 20090811
 Metamathematics of FirstOrder Arithmetic (Perspectives in Mathematical Logic) by Petr Hajek, Pavel Pudlak, 19980424
