Basic courses, specialization "Logic"

• 250070 VO [ en ] Introduction to mathematical logic
• 250071 PS [ en ] Introductory seminar: "Introduction to mathematical logic"
• 250074 VO [ en ] Introduction to theoretical computer science
• 250075 SE [ en ] Seminar (mathematical logic)
• 250076 SE [ en ] Research Seminar (Mathematical logic)