USC Schedule of Classes

Spring 2017

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:45amTue, Thu4 of 8Jeffrey RussellTHH111session dates
Information accurate as of October 3, 2017 4:56 pm.
Want to provide feedback on the upcoming redesign of Schedule of Classes? Join our Beta Software Program!