Within the Master's program in mathematics, Mathematical Logic and Theoretical Computer Science is one of seven main areas of specialization. 

Here is the information for the  UA 066821 [3] - 2025. The following courses are required for the Master's program with specialization in logic, adding up to 120 ECTS.

Fore more information have a look at §5.