Apr 21, 2019  
Undergraduate Catalog 2018-2019 
Undergraduate Catalog 2018-2019

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 PHILO 37500  and CSCI 37100 .
prereq: MATH 26000 or permission of the instructor
3 hrs
3 cr.