Road To Serfdom
F. A. Hayek
Euler The Master of Us All
William Dunham
Galileo's Error: Foundations for a New Science of Consciousness
Philip Goff
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
No bullshit guide to linear algebra
Ivan Savov