Mathematical Logic

 Elementary logic, predicates and quantifiers, methods of proof, mathematical induction, sets and set operations, relations, basic definitions and properties, representing relations, equivalence relations,partial orderings, functions, cardinality of sets.