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