Mar 19, 2024  
Graduate Record 2005-2006 
    
Graduate Record 2005-2006 [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