Advancede courses, specialization "Logic"

• 250120 VO Selected topics in set theory
• 250121 VO Recursion Theory
• 250132 VO Applications of mathematical logic