2019/2020, Semester 1: Mathematical Logic (MATH33011)

Lecturer: Marcus Tressl

School websites of the course: 33011

This course will run again 2019/2020 and has several continuations at level 4: Model Theory, Set Theory and Gödel’s Theorems.

Prerequisites: Basic knowledge of Predicate Logic as as for example taught at the end of the course MATH20302. The precise reference is: Sections 9-13 in MATH20302.pdf

Lecture notes and example sheets will become available here after the first lecture:

Lecture Notes Example Sheets

Past exam papers can be found here.

Textbooks: Self contained notes will be provided. A variety of other sources is listed here.
Site maintained by Marcus Tressl. Last modified: Monday, 28th January 2019.