Aug 11, 2020  
Undergraduate Catalog 2016-2017 
Undergraduate Catalog 2016-2017 [ARCHIVED CATALOG]

MATH 37000 - Mathematical Logic


A survey of the central results and techniques of metalogic, principally mathematical induction, the soundness and completeness of theorems for first-order logic, the Skolem Theorem and Church’s Theorem on undecidability. Cross-listed as PHIL 37500.
prereq: MATH 26000 or permission of the instructor
3 hrs
3 cr.