4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250114 VO [ en ] Axiomatic Set Theory 1
• 250115 PS [ en ] Introductory Seminar: Axiomatic Set Theory 1
• 250116 PJ+SE Project Seminar in Mathematical Logic

Advancede courses, specialization "Logic"

• 250117 VO Recursion Theory
• 250119 VO Modal Logic
• 250118 VO Selected Topics in Set Theory
• 250120 SE Research Seminar: Mathematical Logic