Jun 17, 2024  
Undergraduate Record 2007-2008 
    
Undergraduate 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 equivalent.

Credits: 3