| | Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
| 2109118 | 124 |  | Jan von Plato | Can Mathematics Be Proved Consistent?: Gdel's Shorthand Notes & Lectures on Incompleteness | 2020 | pdf | 3/16/2024 4:41:59 AM | eternal |
| 1551275 | 234 |  | Francesco Berto | There's Something About Gdel: The Complete Guide to the Incompleteness Theorem | 2009 | PDF | 9/24/2022 9:52:31 AM | gestalt |
| 1908636 | 183 |  | Ernest Nagel, James R. Newman, Douglas R. Hofstadter | Gdel's Proof | 2001-10 | PDF | 4/2/2021 3:26:25 PM | eternal |
| 1812763 | 104 |  | Gaisi Takeuti | Memoirs of a Proof Theorist: Gdel and Other Logicians | 2003 | pdf | 9/11/2020 9:16:46 AM | maveriks |
| 1805783 | 293 |  | Jean Van Heijenoort | From Frege to Gdel: A Source Book in Mathematical Logic, 1879-1931 | 1967 | djvu | 8/27/2020 5:48:52 AM | maveriks |
| 1772169 | 63 |  | Marie-Magdeleine Davy | Marie-Magdeleine Davy, 'La connaissance de soi' [French] | 2010 | EPUB | 6/18/2020 8:53:06 AM | alex21s |
| 1772165 | 81 | | Marie-Magdeleine Davy | Marie-Magdeleine Davy, 'Tout est noces' [French] | 1993 | EPUB | 6/18/2020 8:47:41 AM | alex21s |
| 1761557 | 464 |  | Martin Gardner | Are Universes Thicker Than Blackberries?: Discourses on Gdel, Magic Hexagrams, Little Red Riding Hood, and Other Mathematical and Pseudoscientific Topics | 2003 | djvu | 5/29/2020 9:16:15 AM | alex21s |
| 1648286 | 183 |  | B. Jack Copeland, Carl J. Posy, Oron Shagrir | Computability: Turing, Gdel, Church, and Beyond | 2013-06-07 | PDF | 11/27/2019 7:29:40 PM | alex21s |
| 1628071 | 118 |  | N. Shankar | Metamathematics, Machines and Gdel's Proof | 1997-01-30 | PDF | 10/22/2019 12:40:23 PM | stirkout |
|