MATH 303 Set Theory, Logic and Proof
Examines elementary propositional and predicate logic; language and axioms of set theory; operations on sets; well-orderings, ordinals, transfinite induction and recursion; cardinals; the axiom of choice; combinatorics; reading and writing of proofs in mathematics. Cross-listed with: PHIL 303.