How to Prove It: A Structured Approach
Daniel J. Velleman
Digital Design and Computer Architecture, ARM Edition
Sarah Harris & David Harris
Thinking in Bets: Making Smarter Decisions When You Don't Have ...
Annie Duke
Discrete Mathematics and Its Applications
Kenneth H. Rosen