CS208 Logic & Algorithms
Semester 1: Logic
Contents
Coursework 1
Soundness, Completeness, and some Philosophy
Enter any notes to yourself here.
TBD: some links to further reading.