Statistical Rethinking: A Bayesian Course With Examples in R ...
Richard McElreath
Pattern Recognition and Machine Learning
Christopher M. Bishop
Matrix Computations
Gene Howard Golub & Charles F. van Loan
Beginning Mathematical Logic: A Study Guide
Peter Smith