Tutorial slajds for the 2nd/3rd year CS course Logic and Proof (HT'26) lectured by James Worrell at Oxford: Sheet 1 | Sheet 2 | Sheet 3 | Sheet 4 | Sheet 5 | Sheet 6 "DO NOT CIRCULATE".