Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Power to Compete
Hiroshi Mikitani & Ryoichi Mikitani
The Book of Life
Marsilio Ficino
Taking People With You: The Only Way to Make Big Things Happen ...
David Novak
No bullshit guide to linear algebra
Ivan Savov