Specialization "Mathematical logic and theoretical informatics" (51 ECTS)

Basic courses, specialization "Logic"

• 250089 SE [ en ] Logic Colloquium
• 250102 SE [ en ] Research Seminar in Set Theory
• 250134 VO [ en ] Introduction to Mathematical logic
• 250135 PS [ en ] Introductory Seminar on Mathematical Logic
• 510010 SE [ en ] Seminar mathematics (doctoral programm) 2/4

Advanced courses, specialization "Logic"

• 250136 VO [ en ] Topics in Model Theory
• 250137 VO [ en ] Topics in Set Theory