Based on the course taught by James Worrell in Trinity Term 2021.
Resources
Course textbook: Logic for Computer Scientists. Uwe Schoning. Modern Birkäuser Classics, Reprint of the 1989 edition.
References to notes are of the form [x.y] where x is the lecture number and y is the section number. References to slides are of the form [Slide x.y] where x is the lecture number and y is the slide number.