We cover for MID Exam Propositional logic Predicate Logic Predicates and quantifiers nested quantifiers Informal Proof methods (several) Mathematical Induction Sets and several set operations Function Recursive function Relations