James Brotherston
Original record- Institution
- The University of Edinburgh
- Year
- 2006
- Country
- United Kingdom
- MGP identifier
- 150449
Dissertation: Sequent Calculus Proof Systems for Inductive Definitions
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Alex K. SimpsonThe University of Edinburgh · 1994
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Pavle Subotic | University College London | 2018 | 0 |