Pattern Recognition and Machine Learning
Christopher M. Bishop
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (2)
Machine Learning, Second Edition: A Probabilistic Perspective
Kevin P. Murphy
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
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
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos