Introduction to propositional logic, predicate calculus, proofs, sets, functions, and mathematical induction.
3