Jul 31, 2025  
2024-2025 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  General Information
  Division of Student Services
  Admission Requirements
  Academic Regulations
  Tuition and Expenses
  Financial Assistance
  Degrees and Required Credit Hours
  General Studies Program
  Specialized Curricula
  College of Arts and Sciences
  Sorrell College of Business
  College of Communication and Fine Arts
  College of Education
  College of Health Sciences
  Course Descriptions
  Board of Trustees, Administration and Faculty
  Appendices
  Catalog.pdf
  Programs by Department QA
HELP
2024-2025 Undergraduate Catalog [ARCHIVED 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