#### 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.