Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
How to Prove It: A Structured Approach
Daniel J. Velleman
Beginning Mathematical Logic: A Study Guide
Peter Smith
Proofs: A Long-Form Mathematics Textbook
Jay Cummings