4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250126 VO Axiomatic Set Theory 1
• 250127 PS Introductory Seminar to Axiomatic Set Theory 1
• 250131 SE Project Seminar in Mathematical Logic
• 250132 SE Reserch Seminar: Mathematical Logic

Advancede courses, specialization "Logic"

• 250128 VO Recursion Theory
• 250129 VO Non classical Logics
• 250130 VO Selected topics in set theory
• 250143 VO [ en ] Advanced set theory: Mutual stationarity