Skip to main content

MAT 210 - Symbolic Logic I

Department: Mathematics

Description: Introduction to proof theory. Formal deductive systems, especially propositional logic and predicate logic. Properties of deductive systems, such as consistency and completeness. Also offered as PHI 210.

Credit Hours: 3

This course has no upcoming offerings. Please contact the Office of the University Registrar if you have questions about when this will be offered.