Standardausbildung im Studienschwerpunkt "Logik"

• 250082 VO [ en ] Axiomatische Mengenlehre 1
• 250083 PS [ en ] Proseminar zu "Axiomatische Mengenlehre 1"
• 250085 PJ+SE Projekseminar (Mathematische Logik)
• 250084 SE Forschungsseminar aus der Mathematischen Logik
• 250081 UE Übungen zu "Grundbegriffe der mathematischen Logik"