| Supplement 1 | Universal Statements | Version 9/6/04 |
| Supplement 2 | Analyzing predicates and simplifying negated predicates | Version 9/6/04 |
| Supplement 3 | Proving universal statements | Version 9/15/04 |
| Supplement 4 | Using letters in mathematical writing | Not yet available |
| Supplement 5 | Proofs: structure and strategy | Not yet available |
| Supplement 6 | Some sample problems | Not yet available |
| Supplement 7 | Solutions to problems from supplement 6 | Not yet available |