PHI3130: (GM) Symbolic Logic 3
Truth table and natural deduction approaches to modern logic. Propositional calculus, predicate calculus, logic of relations, identity and definite descriptions.