13-420 Sets and Logic
This course studies sets and their properties, set operations, cardinality, ordered sets, well ordering, finite and infinite sets, and the axiom of choice. Also studied are formal deductive systems especially propositional and predicate logic, properties of deductive systems such as consistency and completeness, and Boolean algebra.
Credits
3