MATH 3210 - Mathematical Logic

MATHEMATICAL LOGIC (3)A formal study of the propositional calculus and the predicate calculus, including formal semantics and axiomatizations. Completeness theorems for both systems will be proven.Prerequisite: Math 1410/261 and Math 2300/230.

Credit Hours 3

Contact Hours 3

Prerequisites
MATH 1410, MATH 2300