Course Title
MATHEMATICAL LOGIC
Course Description
Prerequisites: MAT 300 or PHI 307 with a grade of C or higher. Validity, deductibility, and completeness in propositional and predicate logics; first-order formal theories and informal theories in the context of set theory. Offered occasionally.
Credit Hours Min
3
Lecture Hours Min
3