Everything You Always Wanted To Know About Mathematics
Brendan W. Sullivan
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Bayesian Data Analysis
Andrew Gelman
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer