Dag Prawitz
Original record- Institution
- Stockholm University
- Year
- 1965
- Country
- Sweden
- MGP identifier
- 83753
Dissertation: Natural Deduction. A Proof-Theoretic Study
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Anders WedbergInstitution not recorded
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Cesare Cozzo | Stockholm University | 1995 | 3 |
| Lars Hallnäs | Not recorded | — | 4 |
| Luiz Carlos Pinheiro Dias Pereira | Stockholm University | 1982 | 1 |
| Peter Schroeder-Heister | Not recorded | — | 7 |