Sandro Skansi
Original record- Institution
- University of Zagreb
- Year
- 2013
- Country
- Croatia
- MGP identifier
- 190041
Dissertation: Cut elimination and Structural Proof Theory of Second Order Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Davor LaucUniversity of Zagreb · 2004
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Ninoslav Čerkez | University of Zagreb | 2022 | 0 |