| OPERE: | | | | |
| 1. | Sulle proposizioni formalmente indecidibili dei Principia Mathematica e i sistemi affini | | | |
| 2. | Kurt Gödel. La prova matematica dell'esistenza di Dio | Bollati Boringhieri | Torino | |
| 3. | La completezza degli assiomi del calcolo logico funzionale | | | |
| 4. | Fondamenti della Matematica | | | |
| 5. | Gödel's completeness theorem | | | 1929 |
| 6. | Die Vollsständigkeit der Axiome des logischen Funktionenkalküls | | | 1930 |
| 7. | Recursion Theory | | | 1930.99 |
| 8. | Gödel's incompleteness theorems | | | 1931 |
| 9. | Über formal unentscheidbare Sätze der «Principia mathematica» und verwandter Systeme I | | | 1931 |
| 10. | Russell's Mathematical Logic | | | 1944 |
| 11. | What is Cantor's Continuum Problem? | | | 1947 |
| 12: | La prova di Gödel | Boringhieri | Torino | 1961.05 |
| 13. | La logica matematica di Russell | | | 1967 |
| 14. | Che cos'è il problema del continuo di Cantor? | | | 1967 |
| 15: | Teoria della dimostrazione | Feltrinelli | Milano | 1981.04 |
| 16. | Collected Works I. Publications 1929-1936 | Oxford University Press | Oxford | 1986 |
| 17. | Sulle proposizioni formalmente indecidibili dei «Principia Mathematica» e di sistemi affini I | | | 1988 |
| 18. | Collected Works II. Publications 1938-1974 | Oxford University Press | Oxford | 1990 |
| 19. | Incompletezza. Saggio su Kurt Gödel | Il Mulino | Bologna | 1994 |
| 20. | Collected Works III. Unpublished Essays and Lectures | Oxford University Press | Oxford | 1995 |
| 21. | Foto dell'editore La Proposizione Di Godel | Lulu.com | United Kingdom | 2007 |
| 22: | Matematica, miracoli e paradossi. Storie di cardinali da Cantor a Gödel | Bruno Mondadori | Milano | 2007 |
| 23: | Sotto il segno di Gödel | Il Mulino | Bologna | 2007.09 |
| 24: | Logica da zero a Gödel | Laterza | Bari | 2008.11 |
| 25: | Tutti pazzi per Gödel! La guida completa al teorema di incompletezza | Laterza | Bari | 2009.03 |
| 26: | Da Euclide a Gödel | Il Mulino | Bologna | 2010.07 |
| 27: | Che cos'è il tempo. Einstein, Gödel e l'esperienza comune | Carocci | Roma | 2013.08 |
| 28: | Kurt Gödel, un profilo | Carocci | Roma | 2015.03 |
| 29: | Il dio della logica. Vita geniale di Kurt Gödel matematico della filosofia | Longanesi | Milano | 2018.1 |
| 30: | Quando Einstein passeggiava con Gödel. Viaggio ai confini del pensiero | Mondadori | Milano | 2019.0319 |
| 31: | I teoremi di incompletezza | Il Mulino | Bologna | 2019.04 |
