How to Prove It: A Structured Approach
Daniel J. Velleman
Bayesian Data Analysis
Andrew Gelman
Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Calculus
Gilbert Strang