Core modules logic
non-compulsory Proseminars (PS) may be counted as credits in further electives, if not used as alternative compulsory in the seminar module
- 250068 VO [ en ] Introduction to Theoretical Computer Science
- 250097 SE [ en ] Logic Colloquium
- 250102 SE [ en ] Research Seminar in Set Theory
- 510010 SE [ en ] Research Seminar in Model Theory (VSM)
Letzte Änderung: Mo 16.03.2026 10:32