MATH 37000
Mathematical Logic · 3 credits · Spring 2027
Requirements
Prereqs: MATH 15600, MATH 2600 and MATH 27500.
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 Church's theorem on undecidability.
Seat status as of Oct 2, 10:25 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