Introduction to Linear Algebra (OCR)
Gilbert Strang
How to Prove It: A Structured Approach
Daniel J. Velleman
Discrete Mathematics and Its Applications
Kenneth H. Rosen
The Art of Computer Programming: Fundamental Algorithms
Donald E. Knuth
The Art of Computer Programming (1)
How to Take Smart Notes: One Simple Technique to Boost Writing, ...
Sönke Ahrens