Feb 16, 2025  
USC Catalogue 2015-2016 
    
Catalog Navigation
  Catalogue Home
  About USC
  Administration
  Admission and Orientation
  Tuition and Fees
  The Schools
  Courses of Instruction
  Interdisciplinary Programs
  Schedule of Classes
  Academic and University Policies
  Undergraduate Education
  Graduate and Professional Education
  The Graduate School
  About the Catalogue
  Past Catalogues
HELP
USC Catalogue 2015-2016 [ARCHIVED CATALOGUE]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

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


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)