Richard Statman
Original record- Institution
- Stanford University
- Year
- 1974
- Country
- United States
- MGP identifier
- 44093
Dissertation: Structural Complexity of Proofs
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Georg KreiselInstitution not recorded
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| William Gunther | Carnegie Mellon University | 2015 | 0 |
| Fritz H. Obermeyer | Carnegie Mellon University | 2009 | 0 |
| Matthew Peter Szudzik | Carnegie Mellon University | 2010 | 0 |
| Enrico Tronci | Carnegie Mellon University | 1991 | 3 |