Anton Setzer
Original record- Institution
- Ludwig-Maximilians-Universität München
- Year
- 1993
- Country
- Germany
- MGP identifier
- 50617
Dissertation: Proof theoretical strength of Martin-Löf Type Theory with W-type and one universe
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Wilfried BuchholzLudwig-Maximilians-Universität München · 1974
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Rose Hafsah Binti Abdul Rauf | Swansea University | 2007 | 0 |
| Chi Ming Chuang | Swansea University | 2011 | 0 |
| Karim Kanso | Swansea University | 2012 | 0 |
| Fredrik Nordvall Forsberg | Swansea University | 2013 | 0 |