Lecturers: Omar León Sánchez and Marcus Tressl

This course is a 20 credits level 3 course and has a space on BlackBoard. The University page of this course may be found here but that page is often not up to date.

The course has two continuations at level 4: *Model Theory* and *Set Theory*.
It will also be useful for the course *Computation and Complexity*.

The

- Goldrei, Derek; Propositional and Predicate Calculus: A Model of Argument; Springer London, 2005. ISBN : 9781846282294
- Alexander Prestel, Charles N. Delzell; Mathematical Logic and Model Theory; Springer, London, 2011. ISBN : 9781447121756
- 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

- In week 5 there will be a test, worth 20% of the module.
- In week 10 there will be a test, worth 30% of the module.
- The final exam will be in January and is worth 50% of the module.

Site maintained by
Marcus Tressl. Last modified: Tuesday, 8th November 2022.