Courses MAT - Mathematics 300 MAT 330
Aristotelian logic, symbolic logic including propositional and predicate calculus, applications to proof-making in mathematics. Prerequisite:MAT 220 or permission of the instructor.