Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Measurement
Paul Lockhart
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
How to Prove It: A Structured Approach
Daniel J. Velleman
Algorithm Design
Jon Kleinberg & Éva Tardos