3.6. Mathematical logic and theoretical computer science

Core modules logic

• 250073 VO [ en ] Introduction to theoretical computer science
• 250074 VO [ en ] Introduction to mathematical logic
• 250075 PS [ en ] Introductory seminar on mathematical logic
• 250098 SE [ en ] Research seminar in mathematical logic
• 250099 SE [ en ] Seminar (Mathematical logic)

Topics courses logic

• 250121 VO [ en ] Selected topics in set theory
• 250122 VO [ en ] Reading course in mathematical logic
• 250130 VO [ en ] Topics in computability