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
- 250100 VO [ en ] Axiomatic set theory 1
- 250179 PS [ en ] Introductory seminar on Axiomatic set theory 1
- 250052 VO [ en ] Introduction to Theoretical Computer Science
- 250103 SE [ en ] Seminar in Mathematical Logic
- 510005 SE [ en ] Research Seminar in Mathematical Logic VSM
Letzte Änderung: Fr 25.06.2021 02:04