Theoretical Computer Science and Mathematical Logic Group
theory
& logic
Show navigation
Home
People
Team
Vasco Brattka
Matthias Schröder
Christopher Sorg
Patrick Uftring
Teaching
Courses
Seminar
Research
Publications
Projects
Events
Seminar
Info
Contact
Directions
Accommodation
Directions