Feb 21, 2019  
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.