This introductory treatment of theory, proof techniques, and related concepts is designed for undergraduate courses. Topics include propositional logic, quantifiers, sets, functions, relations, mathematical induction, and combinatorics. The emphasis throughout is on proof and learning how to write mathematical proofs, and the book includes many proof exercises. No knowledge of calculus is assumed, making it a useful text for students at many levels.
