|
Apr 28, 2024
|
|
|
|
Graduate Record 2009-2010 [ARCHIVED RECORD]
|
PHIL 5420 - Symbolic Logic Examines various results in metalogic, including completeness, compactness, and undecidability. Effective computability, theories of truth, and identity may also be covered. Prerequisite: PHIL 242 or equivalent.
Credits: 3
|
|