Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Anti-Tech Revolution: Why and How
Theodore John Kaczynski
Renaissance Truths: Humanism, Scholasticism and the Search for ...
Professor Alan R Perreiah
The Obesity Code: Unlocking the Secrets of Weight Loss
Jason Fung
Constructive Anatomy
George B. Bridgman
Dover Anatomy for Artist (1)