Teaching

TU Dresden, Summer Semester, 2024

• Proof Theory and Sequent Systems

  • Details for the course can be found at the following link: [Course Details]

  • The course script can be downloaded at the following link: [Script]

  • If you have any questions, please do not hesitate to email me. My email can be found at the contact link on the top right of this webpage.