Pattern Recognition and Machine Learning
Christopher M. Bishop
Recommender Systems: The Textbook
Charu C. Aggarwal
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos