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. 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

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.

Summary