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
- 250099 SE [ en ] ( VOR-ORT ) Research seminar in set theory
- 250124 SE [ en ] ( VOR-ORT ) Logic Colloquium
- 250153 VO [ en ] ( VOR-ORT ) Introduction to theoretical computer science
- 510004 SE [ en ] ( VOR-ORT ) Research seminar in Model Theory
Letzte Änderung: Fr 13.01.2023 01:01