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.