Vertiefungslehrveranstaltungen im Studienschwerpunkt "Logik"

• 250120 VO 4 ECTS Ausgewählte Kapitel aus der Mengenlehre
  Friedman
• 250121 VO 3 ECTS Rekursionstheorie
  Adler
• 250132 VO 3 ECTS Ausgewählte Kapitel der Logik: Anwendungen der mathematischen Logik
  Goldstern