Fer-Jan de Vries
Original record- Institution
- Universiteit Utrecht
- Year
- 1989
- Country
- Netherlands
- MGP identifier
- 74786
Dissertation: Type Theoretic Topics in Topos Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Dirk van DalenUniversiteit van Amsterdam · 1963
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Octavian Vladut Babus | University of Leicester | 2016 | 0 |