Pattern Recognition and Machine Learning
Christopher M. Bishop
How to Prove It: A Structured Approach
Daniel J. Velleman
Statistical Rethinking: A Bayesian Course With Examples in R ...
Richard McElreath
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman