Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Matrix Computations
Gene Howard Golub & Charles F. van Loan
Beginning Mathematical Logic: A Study Guide
Peter Smith
Introduction to Algorithms, Third Edition
Thomas H. Cormen & Charles E. Leiserson & Ronald L. Rivest & Clifford Stein
Calculus
Gilbert Strang