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.