Course ID
021014
Course Description
[Taught Fall semester in even-numbered years] Sentential calculus, predicate calculus; consistency, independence, completeness, and the decision problem. Designed to be of interest to majors in mathematics or philosophy. Graduate-level requirements include more extensive problem sets or advanced projects.
Min Units
3
Max Units
3
Repeatable for Credit
No
Grading Basis
GRD - Regular Grades A, B, C, D, E
Career
Graduate
Course Attributes
CE - CL (Cross Listed)
Course Requisites
Cross Listed Courses
May be convened with
MATH402
Component
Lecture
Optional Component
No