MATH 67200
Mathematical Logic · 3 credits · Spring 2027
About this course
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 Churchs Theorem on undecidability.
Seat status as of Oct 3, 5:51 AM ET. Seats can change between refreshes.
01-LEC Regular
Tue/Thu · 10:00 AM - 11:15 AM
West Bldg W506
Instructor not announced yetIn PersonOpen