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

Textbooks: Self contained notes will be provided. A variety of other sources is listed here.

• 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

---