Studying Logic
Mathematical Logic formulates, among other things, the axiomatic laws of mathematics and examines the provability of mathematical statements. Specialization in the field of mathematical logic usually includes the following courses:
- Mathematical Logic
- Set Theory or Model Theory
- Seminar
Alternative study programs should be discussed with the academic advisor of the Department of Mathematical Logic or one of the lecturers in the specialization area.