May 21, 2024  
University Catalog 2013-2014 
    
University Catalog 2013-2014 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

MATH 420 - Mathematical Logic


(4)
Prerequisite: MATH 325 with minimum C grade. The statement calculus, the predicate calculus, mathematical structures, and the deduction of valid consequences; the completeness theorem.



Add to Portfolio (opens a new window)