Catalog Search:


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