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 |