Notes for Logic and Foundations (UVic Math 122) and Solutions to selected exercises in them.
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.
You can find Ted Sundstrom's open textbook Mathematical Reasoning: Writing and Proof and other useful resources here.