A Short Course in Discrete Mathematics by Edward A. Bender and S. Gill Williamson

This book consists of six units of study: Boolean Functions and Computer Arithmetic, Logic, Number Theory and Cryptography, Sets and Functions, Equivalence and Order, Induction, Sequences and Series. Each of this is divided into two sections. Each section contains a representative selection of problems. These vary from basic to more difficult, including proofs for study by mathematics students or honors students.