How to Prove It: A Structured Approach
Daniel J. Velleman
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer
Introduction to Linear Algebra 5th Edition
Gilbert Strang