Linear Algebra Done Right
Sheldon Axler
The Art of Computer Programming: Seminumerical Algorithms, Volume ...
Donald E. Knuth
The Art of Computer Programming (2)
The Art of Computer Programming, Volume 4B: Combinatorial Algorithms
The Art of Computer Programming (5)
Discrete Mathematics and Its Applications
Kenneth H. Rosen
How to Prove It: A Structured Approach
Daniel J. Velleman