Course ID
026315
Course Description
Advanced propositional logic and quantification theory; metatheorems on consistency, independence, and completeness; set theory, number theory, and modal theory; recursive function theory and Goedel's incompleteness theorem. Graduate-level requirements include an in-depth research project on a central theme or topic of the course. Courses for which students receive the grade of P (Pass) do not satisfy requirements for the M.A. or Ph.D. or minor in philosophy.
Min Units
3
Max Units
3
Repeatable for Credit
No
Grading Basis
OPT - Student Option ABCDE/PF
Career
Graduate
Course Attributes
CE - CL (Cross Listed)
Cross Listed Courses
Component
Lecture
Optional Component
No