Standardausbildung im Studienschwerpunkt "Logik"

• 250102 VO 5 ECTS Einführung in die Theoretische Informatik
  Müller
• 250103 VO 6 ECTS Einführung in die Mathematische Logik
  Kellner
• 250104 PS 3 ECTS Proseminar zu "Einführung in die Mathematische Logik"
  Müller
• 250105 SE 4 ECTS Seminar (Mathematische Logik)
  Friedman