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:

• [MATH-225] Foundations of Higher Mathematics -- with a grade of at least C.

We have no records of this class teaching history.