Introduction to theory, proof techniques, and related concepts covers propositional logic, quantifiers, sets, functions, relations, mathematical induction, and combinatorics. Includes many proof exercises. No knowledge of calculus assumed. 2005 edition.