Course Description
Pre-Requisite(s):
PHIL 2420 or equivalent
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/.
Looks like this course isn't being taught this semester.
Sort by "All" in the top right to see previous semesters.
