| Campo di ricerca | filosofia della matematica, matematica, teoria della dimostrazione |
|---|---|
| Professione | matematico, professore universitario |
| Nascita | 1942 |
| Morte | 2025 |
| Istituzioni | Scuola Normale Superiore, Università di Genova, Università degli Studi di Salerno, Politecnico di Torino, Università degli Studi di Torino |
| Formazione | Università degli Studi di Torino |
| Luogo di nascita | Camagna Monferrato |
| Membro di | Academy of Sciences of Turin |
Fonti: Wikidata (CC0) · Wikidata Q1122107