Apr 19, 2024  
University Catalog 2019-2020 
    
University Catalog 2019-2020 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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 (opens a new window)