CS208 Logic & Algorithms

Semester 1: Logic

Contents Coursework 1 Coursework 2

Soundness, Completeness, and some Philosophy

Enter any notes to yourself here.

TBD: some links to further reading.

Source code for these pages on GitHub. Styling provided by SimpleCSS.