4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250272 VO 5 ECTS Axiomatic Set Theory 1
  Walczak-Typke
• 250271 PS 3 ECTS Introductory Seminar: Axiomatic Set Theory 1
  Schrittesser
• 250275 SE 4 ECTS Seminar in Mathematical Logic
  Friedman
• 250276 SE 4 ECTS Research Seminar: Mathematical Logic
  Friedman

Advancede courses, specialization "Logic"

• 250273 VO 3 ECTS Model Theory
  Walczak-Typke
• 250274 VO 3 ECTS Selected Topics in Set Theory
  Friedman