| OPERE: | | | | |
| 1. | Beffe, scienziati e strregoni. La scienza oltre realismo e relativismo | Il Mulino | Bologna | |
| 2. | La crisalide e la farfalla. Donne e matematica | Bollati Boringhieri | Torino | |
| 3. | Kurt Gödel. La prova matematica dell'esistenza di Dio | Bollati Boringhieri | Torino | |
| 4: | Teoria assiomatica degli insiemi. Insiemi costruibili e modelli booleani | Boringhieri | Torino | 1974.11 |
| 5: | Categorie, universi e princìpi di riflessione | Boringhieri | Torino | 1977 |
| 6: | Verità e dimostrazione. Questioni di matematica | Le Scienze | Milano | 1978.04 |
| 7. | Le ragioni fisiche e le dimostrazioni matematiche | Il Mulino | Bologna | 1985 |
| 8. | Scienza e filosofia. Studi in onore di Ludovico Geymonat | Aldo Garzanti Editore | Milano | 1985 |
| 9. | La macchina e le dimostrazioni. Matematica, logica e informatica | Il Mulino | Bologna | 1987 |
| 10. | Capire una dimostrazione | Il Mulino | Torino | 1988 |
| 11. | 9 lezioni di logica. La logica nel suo sviluppo storico e concettuale | Franco Muzzio Editore | Padova | 1990 |
| 12: | Introduzione alla logica formale | Il Mulino | Bologna | 1991 |
| 13. | Omaggio a Ludovico Geymonat. Saggi e testimonianze | Franco Muzzio Editore | Padova | 1992 |
| 14: | Cos'è la logica matematica. Filosofia della logica | Franco Muzzio Editore | Padova | 1992.06 |
| 15. | Incompletezza. Saggio su Kurt Gödel | Il Mulino | Bologna | 1994 |
| 16. | Dagli insiemi ai numeri | Bollati Boringhieri | Torino | 1994 |
| 17. | Capire la matematica | Il Mulino | Torino | 1996 |
| 18: | La Filosofia 02 La filosofia e le scienze | Aldo Garzanti Editore | Milano | 1996.0612 |
| 19. | Il riso di Talete | Bollati Boringhieri | Torino | 1998 |
| 20: | Filosofia della matematica. L'eredità del Novecento | Il Mulino | Bologna | 2002.03 |
| 21. | Da Euclide a Gödel | Il Mulino | Bologna | 2004 |
| 22: | QED. Fenomenologia della dimostrazione | Bollati Boringhieri | Torino | 2005.11 |
| 23. | Il trionfo dei numeri. Come i calcoli hanno cambiato la vita moderna | Dedalo | Bari | 2007 |
| 24: | Sotto il segno di Gödel | Il Mulino | Bologna | 2007.09 |
| 25: | Guida alla teoria degli insiemi | Springer-Verlag Italia | Milano | 2008.02 |
| 26: | Introduzione alla logica | Il Mulino | Bologna | 2009.11 |
| 27: | Da Euclide a Gödel | Il Mulino | Bologna | 2010.07 |
| 28. | La guerra dei trent'anni (1900-1930) | ETS | Pisa | 2011 |
| 29. | La guerra dei trent'anni (1900-1930). Da Hilbert a Gödel | ETS | Pisa | 2011 |
| 30: | Discorso sulla matematica. Una rilettura delle Lezioni americane di Italo Calvino | Bollati Boringhieri | Bologna | 2011.01 |
| 31. | Nascita di un'idea matematica | Edizioni della Normale | Pisa | 2013 |
| 32. | Logica matematica | Edizioni della Normale | Pisa | 2013.0227 |
| 33. | Se viceversa. Trenta pezzi facili e meno facili di matematica | Bollati Boringhieri | Torino | 2014 |
| 34. | From Logic to Practice. Italian Studies in the Philosophy of Mathematics | Springer-Verlag | Cham | 2014.1129 |
| 35. | Il computer di Kant. Struttura della matematica e della logica moderne | Dedalo | Bari | 2015.05 |
| 36: | Tavoli, sedie, boccali di birra. David Hilbert e la matematica del Novecento | Cortina | Milano | 2016 |
| 37. | Le direzioni della ricerca logica in Italia | Edizioni della Normale | Pisa | 2016.031 |
| 38: | La scienza delle donne. Ricerca, teoremi e algoritmi al femminile | Hoepli | Milano | 2017 |
| 39: | Ambiguità. Un viaggio fra letteratura e matematica | Il Mulino | Bologna | 2017.03 |
| 40: | Matematica come narrazione. Raccontare la matematica | Il Mulino | Bologna | 2018.01 |
| 41: | I teoremi di incompletezza | Il Mulino | Bologna | 2019.04 |
| 42. | L'arte di pensare. Matematica e filosofia | UTET | Torino | 2020 |
| 43. | Il senso dell'algebra. L'origine del linguaggio scientifico universale | Dedalo | Bari | 2021 |
