| Campo di ricerca | filosofia della matematica |
|---|---|
| Professione | professore universitario, filosofo, logico |
| Nascita | 1960 |
| Istituzioni | Università della California, Berkeley |
| Formazione | Università di Stanford |
| Premi | Guggenheim Fellowship, Shoenfield Prize |
| Luogo di nascita | Sassari |
| Relatore di dottorato | Solomon Feferman |
| Opere principali | An introduction to proof theory—normalization, cut-elimination, and consistency proofs |
| Membro di | Association for Symbolic Logic |
Fonti: Wikidata (CC0) · Wikidata Q102121448