Lecturers:
Gareth O Jones and Marcus Tressl
This course is a 20 credits level 3 course and has a space on
Canvas.
The University page of this course may be found
here but that page is often not up to date.
The course has a continuations at level 4 in the Model Theory module and provides valuable preparation for
the modules Category Theory and Computation and Complexity.
Prerequisites and a Course Outline may be found here.
Lecture notes and excerpt of example sheets. Lecture Notes (including non-examinable material for further reading) and
example sheet 1.
You will have to work through a comparable amount of material each week.
Please have a look at our warmup questions for the start of the course together with some general advice on what is expected from students on this module.
Talk on Mathematical Logic.
Here is a one hour talk around mathematical logic
intended for second year mathematics students in the
Manchester Mathematics Society. The talk is not literally an outline of the course, but should give you
an impression of what we are after.
Feedback from students on the course from last year may be found here.
Timetable and rooms.
Please check your personal timetable for confirmation (this might need VPN):
Tuesday 16.00-17.00: Lecture in Chemistry G.54
Wednesday 9.00-10.00: Lecture in Schuster Bragg Theater
Thursday 9.00-10.00: Tutorial in Alan Turing G.107
Thursday 15.00-16.00: Lecture in Mansfield Cooper G.21
Friday 14.00-15.00: Tutorial in Alan Turing G.107
Delivery. The course will be taught in classical form, i.e. through in person lectures (3 per week) as well as two tutorials for each student every week.
All lectures will be podcasted.
Weekly learning plans, study material and a discussion board may be accessed on the
Canvas platform once the course has started.
Textbooks: Self contained notes can be found here. A variety of other sources is available online from the library (We recommend the books of Goldrei and Prestel-Delzell
if you want to get a first impression):
- Goldrei, Derek;
Propositional and Predicate Calculus: A Model of Argument;
Springer London, 2005. ISBN : 9781846282294
- Kunen, Kenneth;
The foundations of mathematics;
College Publications, London, 2009
- Ciesielski, Krzysztof;
Set theory for the working mathematician;
London Mathematical Society Student Texts, vol. 39, 1997
- 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
Assessment.
There will be a final exam in January, worth 100% in the module.
In weeks 3 and 10 there will be formative tests to provide feedback on progress and to prepare for the final exam.
Site maintained by
Marcus Tressl. Last modified: Monday, 15th September 2025.