60 credits in mathematics. Participation in Basic Ring Theory or Set Theory.
The course deals with the formal language of first-order logic, basic model theory and recursion theory. Since logic has applications in computer science, this course is also recommended for students in computer science who want to expand their knowledge in mathematics.
