MATH-303

Mathematical Logic

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:
We have no records of this class teaching history.