How to Prove It: A Structured Approach
Daniel J. Velleman
Thinking in Bets: Making Smarter Decisions When You Don't Have ...
Annie Duke
Discrete Mathematics and Its Applications
Kenneth H. Rosen
University Physics With Modern Physics in SI Units
Hugh D. Young & Roger A. Freedman
The Art of Computer Programming: Fundamental Algorithms
Donald E. Knuth
The Art of Computer Programming (1)