4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250087 VO [ en ] Axiomatic set theory 1
• 250088 PS [ en ] Introductory seminar: "Axiomatic set theory 1"
• 250089 PJ+SE [ en ] Project seminar (mathematical logic)

Advancede courses, specialization "Logic"

• 250090 VO [ en ] Selected topics in mathematical logic
• 250091 SE [ en ] Research Seminar (Mathematical logic)
• 250092 VO [ en ] Model theory