Mathematical Logic and Set Theory - MAT 219

This course covers axiomatic theory of sets; the axiom of choice, prepositional logic, quantification theory, formal construction of the sets N; Z; Q; R; and C. Cardinal numbers and their arithmetic, ordinal numbers and transfinite induction.
Prerequisite: Sophomore Standing.