Thomas Ede Zimmermann
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 167678
Dissertation: Intensional Logic and Two-Sorted Type Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Arnim von StechowInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Robert van Rooij | Not recorded | — | 3 |
| Bartosz Więckowski | Not recorded | — | 0 |