Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness. Prerequisite(s): MATH 2100 or permission of the School. Lectures three hours a week. [0.5 credits]
Symbolic logic, propositional and predicate calculi, set theory and model theory, completeness. Prerequisite(s): MATH 2100 or permission of the School. Lectures three hours a week. [0.5 credits]
