MHF-MATHEMATICS: HISTORY AND FOUNDATIONS
MHF 3202 Set Theory and Mathematical Logic 3
Pre/Corequisite: MAC 2312.
Basic set theory, propositional calculus, predicate calculus, methods of mathematical proof. (Gordon Rule Course: Theoretical Math)