Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Collection of Problems in Probability Theory
L. D. Meshalkin
How to Prove It: A Structured Approach
Daniel J. Velleman
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Algorithm Design
Jon Kleinberg & Éva Tardos