MATH 631 - Foundations of Mathematics

Credits: 3
Designed to acquaint students with logical techniques used in proof and set theory. Topics include symbolic logic, rules of inference, validity of arguments, algebra of sets, cardinal numbers, the well-ordering property, and the Axiom of Choice.