USC Schedule of Classes

Fall 2018

Philosophy 450:

Intermediate Symbolic Logic (4.0 units)

Systematic study of the metatheory of quantificational logic, with applications to questions of decidability and completeness of formal systems, including Godel's Incompleteness Theorems.
SectionSessionTypeTimeDaysRegisteredInstructorLocationSyllabusInfo
49568R001Lecture9:30-10:50amTue, Thu6 of 30Jeffrey RussellVKC211session dates
Information accurate as of March 11, 2019 8:08 am.
Want to provide feedback on the upcoming redesign of Schedule of Classes? Join our Beta Software Program!