4.6. Specialization "Mathematical logic and theoretical informatics"

Basic courses, specialization "Logic"

• 250272 VO Axiomatic Set Theory 1
• 250271 PS Introductory Seminar: Axiomatic Set Theory 1
• 250275 SE Seminar in Mathematical Logic
• 250276 SE Research Seminar: Mathematical Logic

Advancede courses, specialization "Logic"

• 250273 VO Model Theory
• 250274 VO Selected Topics in Set Theory