Logic, Second Course

4 units · Undergraduate upper division (100-199)

Lecture, four hours; discussion, one hour. Enforced requisite: course 31 (preferably in preceding term). Symbolic logic: extension of systematic development of course 31. Quantifiers, identity, definite descriptions. P/NP or letter grading.