Standardausbildung im Studienschwerpunkt "Logik"

• 250102 VO Einführung in die Theoretische Informatik
• 250103 VO Einführung in die Mathematische Logik
• 250104 PS Proseminar zu "Einführung in die Mathematische Logik"
• 250105 SE Seminar (Mathematische Logik)