Course ID
026241
Course Description
Intermediate propositional logic and quantificational theory, natural deduction, axiom systems, elementary metatheorems, introduction to notions of modal logic, selected topics in philosophy of logic. Credit allowed for only one of these courses: PHIL 401A, PHIL 402.
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
MATH501A
Component
Lecture
Optional Component
No