Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
How to Draw: Drawing and Sketching Objects and Environments ...
Scott Robertson & Thomas Bertling
The Art of Game Design, 3rd Edition
Jesse Schell
The Power to Compete
Hiroshi Mikitani & Ryoichi Mikitani
Early Retirement Extreme: A Philosophical and Practical Guide ...
Jacob Lund Fisker