Troy University
Predicate calculus and classical model theory; transfinite set theory and the system ZFC; recursion theory and decidability.
3 credits
MTH 4418
Prerequisites, corequisites, and courses that build on this one
Complete these courses before enrolling
