Courses
Proof Theory and Sequent Systems (TUD, Winter Semester 2025)
Details for the course can be found at the following link: [Course Details]
The course script can be downloaded at the following link: [Script]
Proof Theory and Sequent Systems (TUD, Summer Semester 2024)
Details for the course can be found at the following link: [Course Details]
The course script can be downloaded at the following link: [Script]