Math 189, Spring 2024
Catalog description: Content drawn from propositional and predicate logic; proof logic, induction and recursion, elementary set theory; functions and relations; combinatorial enumeration; graph theory and basic elementary number theory.