Nagel, Ernest; Newman, James Roy & Hofstadter, Douglas [1958] 2002. Gödel's proof, revised ed. ISBN0-8147-5816-9[1]
web.archive.org
"Quanta Magazine". web.archive.org. 2023-09-07. Archived from the original on 2023-09-07. Retrieved 2023-09-23.{{cite web}}: CS1 maint: bot: original URL status unknown (link)