MAT 330 Mathematical Logic
Mathematical Logic includes Aristotelian logic, symbolic logic including propositional and predicate calculus, and applications to proof-making in mathematics. Prerequisite: MAT 220 or permission of the instructor.
Credits
3