3Credit Hours Axiomatic development of propositional calculus, functional complete sets of operators, axiomatic development of the first order function calculus, the existential operator, the algebra of logic.
Prerequisites: Undergraduate level MATH225 Minimum grade of D
