4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250123 VO Introduction to Mathematical Logic
• 250124 PS Proseminar to Introduction to Mathematical Logic
• 250127 SE Seminar in Mathematical Logic
• 250128 SE Research Seminar: Mathematical Logic

Advancede courses, specialization "Logic"

• 250125 VO Axiomatic Set Theory 2
• 250126 VO Selected Topics in Mathematical Logic