Dec 16, 2018  
Graduate Catalog 2018-2019 
    
Graduate Catalog 2018-2019

MATH 67200 - 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.

prereq: a course in linear algebra or permission of instructor
Hours 3 hrs.
Credits 3 cr.