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.