250095 VO Introduction to mathematical logic (2020W)
Classes (iCal) - next class is marked with N
Lecture notes, slides and other lecture material will be regularly posted on the Moodle website of the course. If you do not have the Zoom details regarding the lectures, please contact firstname.lastname@example.org.
Aims, contents and method of the course
Assessment and permitted materials
Minimum requirements and assessment criteria
2) "A course in model theory", K. Tent and M. Ziegler, Cambridge University Press.
3) "Model theory: an introduction", D. Marker, Graduate Texts in Mathematics.
4) "The incompleteness phenomenon", M. Goldsten, H. Judah, A K Peters, Ltd.