13 booksMathematics — Discrete & Logic Title Author Difficulty Priority Book of Proof Richard Hammack Beginner high Concrete Mathematics Graham, Knuth & Patashnik Advanced high Discrete Mathematics and Its Applications Kenneth Rosen Intermediate high Discrete Mathematics Open Intro Oscar Levin Beginner high Discrete Mathematics with Applications Susanna Epp Intermediate high Discrete Mathematics: Elementary and Beyond Lovász, Pelikán & Vesztergombi Intermediate high Essential Discrete Mathematics for Computer Science Lewis & Zax Beginner high How to Solve It George Pólya Beginner high Introduction to the Theory of Computation Michael Sipser Intermediate high Mathematics for Computer Science Lehman, Leighton & Meyer Intermediate high Proofs from THE BOOK Aigner & Ziegler Advanced high The Art and Craft of Problem Solving Paul Zeitz Intermediate high The Art of Problem Solving Vol. 1 Rusczyk & Lehoczky Intermediate high