Basic courses, specialization "Logic"

• 250070 VO 6 ECTS [ en ] Introduction to mathematical logic
  Fischer, Fr 09:00-10:30 (16×), Mo 08:00-09:30 (12×)
• 250071 PS 3 ECTS [ en ] Introductory seminar: "Introduction to mathematical logic"
  Müller, Fr 11:05-12:35 (15×)
• 250074 VO 5 ECTS [ en ] Introduction to theoretical computer science
  Müller, Tu 15:30-18:00 (13×)
• 250075 SE 4 ECTS [ en ] Seminar (mathematical logic)
  Friedman, Mo 14:00-15:00 (12×), We 14:00-15:00 (14×)
• 250076 SE 4 ECTS [ en ] Research Seminar (Mathematical logic)
  Friedman, Th 16:00-18:00 (16×)