Feb 20, 2020  
Semester Catalog 2019-2020 
    
Semester Catalog 2019-2020
Add to Portfolio

MATH 4200 - Mathematical Logic


(3)
Prerequisites: MATH 3450 graded C or better. The statement calculus, the predicate calculus, mathematical structures, and the deduction of valid consequences; the completeness theorem.



Add to Portfolio