Notes on set theory, symbolic logic, methods of proof, basic proofs, functions, relations, binary operations, and groups. Also, Math Tools for practicing modular arithmetic and truth tables, or for solving Diophantine equations. Search the Notes, or scan an index of terms or a list of additional examples. With embedded quizzes and examples.