Discrete Math with Proof
Eric Gossett
Prentice Hall
Introduction -- Sets, Logic, and Boolean Algebras -- Proof -- Algorithms -- Counting -- Finite Probability Theory -- Recursion -- Combinatorics -- Formal Models in Computer Science -- Graphs -- Trees -- Functions, Relations, Databases, and Circuits