MAT 330 Mathematical Logic

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

Credits

3