About this deal
The following papers still follow the old conventions (pre 2013). In particular, the formalizations in propositional logic may be harder than in recent papers. I hope they are still useful. Recordings of James Studd's lectures can be be viewed here by those with permission to view videos on Canvas. Having an Oxford account is a necessary, but not sufficient condition for accessing these recordings. Lecture slides
themselves. The slides cover the main course content, but they are not intended to be a comprehensive substitute for the Logic Manual. They should be studied in conjunction with the main from the Manual. Unfortunately I cannot release these solution for revision or self-study. If you require more exercises for revision or exercises with solutions, please use More Exercises by Peter Fritz, which contains exercises and solutions.