Notes for Logic and Foundations (UVic Math 122)
Other resources
Here is a page of old final exams, some of which have solutions.
Here is a page of old midterms and quizzes, some of which have solutions.
Here is a link to the open textbook Mathematical Resoning: Writing and Proof by Ted Sundstrom. This site also offers lots of other resources like screencasts.