Logic for Computer Science (Aug-Dec 2016)

Final Exam Solution Key available here

Assignment IV available here

Assignment III available here

Assignment II available here

Assignment I available here

Assignment I when the course was offered in August 2009 available here

Axiom of Choice and Zorn's Lemma - Imre Leader, (University of Cambrdige) available here

Well ordering and Transfinite Induction - Harald Hanche-Olsen, (NTNU, Norway) available here

Slides on Herbrand's theorem (Unknown Source) available here

Slides on Non expressibility of reachability in First order Logic (Unknown Source) available here

Some Old Lecture Notes (notation could be different from the class) available here

Some Classic CS Papers relating to Logic available here