Mathematical Logic and Set Theory - MAT 303
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.