A Mathematician's Apology
G. H. Hardy
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
THE AGE OF REASON
Thomas Paine
Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge