MATH 3440 - Introduction to Symbolic Logic

Covers truth functional and quantificational logic through polyadic first order predicate calculus and theory of identity. Attention is given to such problems in metatheory as proofs of the completeness and consistency of systems of logic. Prereq: MATH 3000. Cross-listed with PHIL 3440. Semester Hours: 3 to 3 When Offered: SPRING