**Homework**

- Homework 0
- Homework 1 | Key 1
- Homework 2 | Key 2
- Homework 3 | Key 3
- Homework 4 | Key 4
- Homework 5 | Key 5
- Homework 6 | Key 6
- Homework 7 | Key 7 (Halvorson) | Key 7 (Budolfson)
- Homework 8 | Key 8
- Homework 9 | Key 9

**Exams**

- Practice midterm exam
- Midterm exam (version W) | Key
- Practice final exam | Key: Part 1 Part 2 Part 3

**Other**

- Note on the completeness theorem.
- Note on the soundness theorem.
- Predicate logic practice proofs
- Semantics for predicate logic
- Some helpful terms and definitions for the midterm exam
- Stage 1 inference rules
- Proof strategies
- Propositional logic practice proofs (hints)
- Truth tables