PHIL 5420 - Advanced Logic

Description
Examines various results in metalogic, including completeness, compactness, and undecidability. Effective computability, theories of truth, and identity may also be covered. For more details on this class, please visit the department website at http://www.virginia.edu/philosophy/. Prerequisite: PHIL 2420 or equivalent. Add Consent: Instructor Consent Required.
Credits
3
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Fall 2017
Offered
MW
Avg. Class Size
9
Avg. Sections
1