4.6. Specialization "Mathematical logic and theoretical informatics"
250085 PJ+SE Project seminar (mathematical logic)
250084 SE Research Seminar (Mathematical logic)
250086 VO Selected topics in set theory
250087 VO Computability and complexity
250088 VO Model theory
Last modified: We 13.06.2018 00:38