Cheng-Syuan Wan
Original record- Institution
- Tallinn University of Technology
- Year
- 2025
- Country
- Estonia
- MGP identifier
- 340992
Dissertation: Proof theory of semi-substructural logics
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Niccolò VeltriTallinn University of Technology · 2017
- Tarmo UustaluKungliga Tekniska Högskolan (KTH) · 1998
Students 0
No students recorded in this snapshot.