Standardausbildung im Studienschwerpunkt "Logik"

• 250075 VO [ en ] Axiomatische Mengenlehre 1
• 250076 PS [ en ] Proseminar zu "Axiomatische Mengenlehre 1"
• 250077 VO Einführung in die Theoretische Informatik
• 250118 SE Forschungsseminar aus der Mathematischen Logik
• 250119 PJ+SE Projektseminar (Mathematische Logik)