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:
- [MATH-225] Foundations of Higher Mathematics -- with a grade of at least C.