Course ID
026242
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.
Min Units
3
Max Units
3
Repeatable for Credit
No
Grading Basis
GRD - Regular Grades A, B, C, D, E
Career
Undergraduate
Course Attributes
CE - CL (Cross Listed)
Course Requisites
Cross Listed Courses
May be convened with
PHIL501B
Component
Lecture
Optional Component
No