Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250100 VO [ en ] Axiomatic set theory 1
• 250102 SE [ en ] Research seminar in mathematical logic
• 250103 SE [ en ] Seminar (Mathematical logic)
• 250168 VO [ en ] Introduction to mathematical logic
• 250170 PS [ en ] Introductory seminar on mathematical logic
• 250179 PS [ en ] Introductory seminar on Axiomatic set theory 1

Topics courses logic

• 250104 VO [ en ] Advanced topics in mathematical logic