4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250085 VO Introduction to mathematical logic
• 250086 PS Introductory seminar: "Introduction to mathematical logic"
• 250088 SE Seminar (mathematical logic)
• 250087 SE Research Seminar: Mathematical Logic

Advancede courses, specialization "Logic"

• 250090 VO [ en ] Set Theory (reading course)
• 250089 VO [ en ] Selected Topics in Mathematical Logic