Maria Luisa Bonet
Original record- Institution
- University of California, Berkeley
- Year
- 1991
- Country
- United States
- MGP identifier
- 31798
Dissertation: The Lengths of Propositional Proofs and the Deduction Rule
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Samuel R. BussPrinceton University · 1985
- Leo Anthony HarringtonMassachusetts Institute of Technology · 1973
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Albert Atserias | University of California, Santa Cruz | 2002 | 2 |
| Juan Luis Esteban | Universitat Politècnica de Catalunya | 2003 | 0 |
| Nicola Galesi | Universitat Politècnica de Catalunya | 2000 | 3 |