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.
- Prerequisite: PHIL 350
| Section | Session | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|
| 49477R | 001 | Lecture | 12:30-1:45pm | Tue, Thu | 6 of 30 | Kenneth Easwaran | VKC103 |  |