Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer
Introduction to Linear Algebra 5th Edition
Gilbert Strang