In the course we will discuss exercises which complement the lecture “Introduction to mathematical logic”.
Please solve the exercises and bring your solutions to the seminar.
Contact: marlene.koelbing@univie.ac.at