PHILO 37500
Advanced Symbolic Logic · 3 credits · Spring 2027
Requirements
Prerequisites: ENGL 12000 and PHILO 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 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