Advancede courses, specialization "Logic"

• 250082 VO 4 ECTS [ en ] Selected topics in mathematical logic
  Friedman
• 250083 VO 4 ECTS [ en ] Model theory of arithmetic
  Kellner
• 250084 VO 7 ECTS Reading Course Mengenlehre
  Farkas
• 250101 VO 3 ECTS Artificial Intelligence
  Neumaier, Mo 14:15-15:45 (13×)