Summer 2010 RegistrationMATH 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.
Add to Favorites (opens a new window)
