Book of Proof
Richard Hammack
Entropy and Diversity: The Axiomatic Approach
Tom Leinster
Hyperparameter Optimization in Machine Learning
Luca Franceschi
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult