4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250118 VO Introduction to Mathematical Logic
• 250119 PS Proseminar to Introduction to Mathematical Logic
• 250122 SE Seminar in Mathematical Logic
• 250123 SE Research Seminar: Mathematical Logic

Advancede courses, specialization "Logic"

• 250120 VO [ en ] Axiomatic Set Theory 2
• 250121 VO Applications of Mathematical Logic