MATH 3440 - Introduction to Symbolic Logic

Summer 2010 Registration MATH 3440
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: 3to 3When Offered: SPRING
Registration is changing. Visit our website for details ucdenver.edu/registration.