3.6. Mathematical logic and theoretical computer science

Core modules logic

• 250100 VO 5 ECTS [ en ] Axiomatic set theory 1
  Fischer, Mi 11:30-13:50 (15×)
• 250101 PS 3 ECTS [ en ] Proseminar to Axiomatic set theory 1
  Koelbing, Do 09:30-11:05 (13×)
• 250102 SE 4 ECTS [ en ] Research seminar in mathematical logic
  Friedman, Do 16:00-18:00 (14×)
• 250103 SE 4 ECTS [ en ] Seminar (Mathematical logic)
  Friedman, Mo 14:00-15:00 (12×), Mi 14:00-15:00 (15×)

Topics courses logic

• 250104 VO 4 ECTS [ en ] Advanced topics in mathematical logic
  Friedman, Do 14:00-15:00 (14×), Di 14:00-15:00 (14×)