Specialization "Mathematical logic and theoretical informatics" (51 ECTS)

Basic courses, specialization "Logic"

• 250100 VO [ en ] Axiomatic set theory 1
• 250101 PS [ en ] PS Axiomatic set theory 1
• 250102 SE [ en ] Research seminar in mathematical logic
• 250103 SE [ en ] Seminar (Mathematical logic)

Advanced courses, specialization "Logic"

• 250104 VO [ en ] Advanced topics in mathematical logic
• 250137 VO [ en ] Model theory