I will post materials here as they arise — handouts, references, and anything else that turns out to be useful as we work through the book.
Allowed Results
This document contains a list of results that are granted without proof, or that were proven and accepted by the class.
Supplement R: Relations and Partitions
This supplement contains a problem sequence which covers relations, equivalence relations, equivalence classes, and partitions.
Elements of Style for Proofs
Dana C. Ernst's guidelines for writing mathematics, adapted from a list by Anders Hendrickson. Worth reading early and worth rereading every few weeks, since some of the rules will only start to make sense once you have written a few proofs of your own.