Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
New Foundations for Classical Mechanics
D. Hestenes
The Bullet Journal Method: Track Your Past, Order Your Present, ...
Carroll, Ryder
A brief introduction to type theory and the univalence axiom
Jackson Macor
Austerity: The History of a Dangerous Idea
Mark Blyth
