Feb 10, 2025  
2024-2025 Undergraduate Catalog 
    
2024-2025 Undergraduate Catalog

MTH 4418 - Mathematical Logic


3 Credit Hour(s)

Predicate calculus and classical model theory; transfinite set theory and the system ZFC; recursion theory and decidability.
Prerequisite(s): MTH 3318