Jan 17, 2020  
USC Catalogue 2017-2018 
    
USC Catalogue 2017-2018 [ARCHIVED CATALOG]

PHIL 450 Intermediate Symbolic Logic

Units: 4
Systematic study of the metatheory of quantificational logic, with applications to questions of decidability and completeness of formal systems including Godel's Incompleteness Theorems.
Instruction Mode: Lecture
Grading Option: Letter