Thomas Adrian Strahm
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Switzerland
- MGP identifier
- 205826
Dissertation: On the proof theory of applicative theories
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Gerhard JägerLudwig-Maximilians-Universität München · 1979
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Sebastian Eberhard | Universität Bern | 2013 | 0 |
| Florian Ranzi | Universität Bern | 2015 | 0 |
| Christian Rüede | Universität Bern | 2000 | 1 |
| Daria Spescha | Universität Bern | 2009 | 0 |
| Jan Walker | Universität Bern and Université de Genève | 2019 | 0 |