Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Beginning Mathematical Logic: A Study Guide
Peter Smith
Physics-based Deep Learning
N. Thuerey, B. Holzschuh, P. Holl, G. Kohl, M. Lino, Q. Liu, ...
Why Greatness Cannot Be Planned: The Myth of the Objective
Kenneth O. Stanley & Joel Lehman
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)