Mathematical Logic
Troy University
CourseMTH 4418
Predicate calculus and classical model theory; transfinite set theory and the system ZFC; recursion theory and decidability.
- Credits
3 credits
- Course Code
MTH 4418
Related Courses
Prerequisites, corequisites, and courses that build on this one
Prerequisites
Complete these courses before enrolling