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
49477R001Lecture12:00-1:45pmMon, Wed6 of 30Jeffrey RussellWPH205session datesbook list
Information accurate as of 9/23/2014 11:04 AM.