Editing Gödel's incompleteness theorems (section)

=== Books about the theorems ===
* Francesco Berto. ''There's Something about Gödel:  The Complete Guide to the Incompleteness Theorem'' John Wiley and Sons. 2010.
* Norbert Domeisen, 1990. [https://archive.today/20240527193320/https://www.webcitation.org/6gQ72rSwF?url=http://www.textarchiv.homepage.bluewin.ch/Antinomien/Logik_der_Antinomien.html ''Logik der Antinomien'']. Bern: Peter Lang. 142 S. 1990. {{ISBN|3-261-04214-1}}. {{Zbl|0724.03003}}.
* {{cite book |last1=Franzén |first1=Torkel |author-link=Torkel Franzén |title=Gödel's theorem : an incomplete guide to its use and abuse |date=2005 |publisher=A K Peters |location=Wellesley, MA |isbn=1-56881-238-8 |mr=2146326}}
* [[Douglas Hofstadter]], 1979. ''[[Gödel, Escher, Bach|Gödel, Escher, Bach: An Eternal Golden Braid]]''. Vintage Books. {{ISBN|0-465-02685-0}}. 1999 reprint: {{ISBN|0-465-02656-7}}. {{MR|530196}}
*&nbsp;—, 2007. ''[[I Am a Strange Loop]]''. Basic Books. {{ISBN|978-0-465-03078-1}}. {{ISBN|0-465-03078-5}}. {{MR|2360307}}
* [[Stanley Jaki]], OSB, 2005. ''The drama of the quantities''. [http://www.realviewbooks.com/ Real View Books.]
* [[Per Lindström]], 1997. ''[https://projecteuclid.org/euclid.lnl/1235416274 Aspects of Incompleteness]'', Lecture Notes in Logic v. 10.
* [[J.R. Lucas]], FBA, 1970. ''The Freedom of the Will''. Clarendon Press, Oxford, 1970.
* [[Adrian William Moore]], 2022. ''Gödel´s Theorem: A Very Short Introduction''. Oxford University Press, Oxford, 2022.
* [[Ernest Nagel]], [[James R. Newman|James Roy Newman]], Douglas Hofstadter, 2002 (1958). ''Gödel's Proof'', revised ed.  {{ISBN|0-8147-5816-9}}. {{MR|1871678}}
* [[Rudy Rucker]], 1995 (1982). ''Infinity and the Mind: The Science and Philosophy of the Infinite''. Princeton Univ. Press. {{MR|658492}}
* {{cite book |last1=Smith |first1=Peter |title=An introduction to Gödel's Theorems |date=2007 |url=http://www.godelbook.net/ |publisher=Cambridge University Press |location=Cambridge, U.K. |isbn=978-0-521-67453-9 |mr=2384958 |access-date=2005-10-29 |archive-date=2005-10-23 |archive-url=https://web.archive.org/web/20051023200804/http://www.godelbook.net/ |url-status=dead }}
* {{cite book |last1=Shankar |first1=N. |title=Metamathematics, machines, and Gödel's proof |date=1994 |volume=38 |series=Cambridge tracts in theoretical computer science |publisher=Cambridge University Press |location=Cambridge |isbn=0-521-58533-3}}
* [[Raymond Smullyan]], 1987. ''Forever Undecided'' {{ISBN|0192801414}} - puzzles based on undecidability in formal systems
* —, 1992. ''Godel's Incompleteness Theorems''. Oxford Univ. Press. {{ISBN|0195046722}}
* —, 1994. ''Diagonalization and Self-Reference''. Oxford Univ. Press. {{MR|1318913}}. {{ISBN|0198534507}}
* —, 2013. [https://books.google.com/books?id=xUapAAAAQBAJ ''The Godelian Puzzle Book: Puzzles, Paradoxes and Proofs'']. Courier Corporation. {{ISBN|978-0-486-49705-1}}.
* {{cite book |author-link=Hao Wang (academic) |first=Hao |last=Wang |date=1996 |title=A Logical Journey: From Gödel to Philosophy |publisher=MIT Press |isbn=0-262-23189-1}} {{MR|1433803}}