Beginning Mathematical Logic: A Study Guide
Peter Smith
Hyperparameter Optimization in Machine Learning
Luca Franceschi
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Information Geometry and Its Applications
Shun-Ichi Amari
How to Prove It: A Structured Approach
Daniel J. Velleman