Lars Hallnäs
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Sweden
- MGP identifier
- 20649
Dissertation: On Normalization of Proofs in Set Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Dag PrawitzStockholm University · 1965
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Lars-Henrik Eriksson | Kungliga Tekniska Högskolan (KTH) | 1993 | 0 |
| Daniel Fredholm | Stockholm University | 1995 | 0 |
| Svetozar Serafimovski | Stockholm University | 1995 | 0 |
| Olof Torgersson | Chalmers Tekniska Högskola and Göteborgs universitet | 2000 | 0 |