Apr 11, 2021  
Graduate Record 2007-2008 
    
Graduate Record 2007-2008 [ARCHIVED RECORD]

PHIL 542 - Symbolic Logic


Examines various results in metalogic, including completeness, compactness, and undecidability. Effective computability, theories of truth, and identity may also be covered. (E)

Prerequisites & Notes
Prerequisite: PHIL 242 or its equivalent.

Credits: 3