Lecturer: Marcus Tressl

School websites of the course: 33011

This course has several continuations at level 4: Model Theory, Set Theory and Gödel's Theorems.

Tuesday 10-11 in Alan Turing G.205.

Tuesday 11-12 in Alan Turing G.209. This will be the tutorial in most weeks.

On the exam, only chapters 1--3 will be asked. There are several proofs and items
in chapters 1--3 that are also not examinable, this is noted in the text.

Lecture Notes | Example Sheets (Solutions) |

Warmup Questions for Set Theory.

Warmup Questions for Model Theory.

There were two in-class tests (each weighting 10% in the unit).
They have been returned in the tutorials. Feedback was given in the tutorials.

- Enderton, Herbert B; A mathematical introduction to logic. Second edition. Harcourt/Academic Press, Burlington, MA, 2001. xii+317 pp. ISBN: 0-12-238452-0
- Cori, René, Lascar, Daniel;
Mathematical logic. A course with exercises. Part I.
Propositional Calculus, Boolean algebras, predicate calculus. Translated from the 1993 French original by Donald H. Pelletier. With a foreword to the original French edition by Jean-Louis Krivine and a foreword to the English edition by Wilfrid Hodges.
*Oxford University Press, Oxford,*2000. xx+338 pp. ISBN: 0-19-850049-1; 0-19-850048-3 - Hamilton, A. G. Logic for mathematicians. Second edition. Cambridge University Press, Cambridge, 1988. viii+228 pp. ISBN: 0-521-36865-0 03-01

Site maintained by
Marcus Tressl. Last modified: Tuesday, 4th December 2018.