A brief introduction to type theory and the univalence axiom
Jackson Macor
Foundations of Mechanical Accuracy
Wayne R. Moore
Picatrix Liber Atratus Books 1 and 2 (Complete Picatrix Liber ...
Christopher Warnock
Clojure for the Brave and True: Learn the Ultimate Language ...
Daniel Higginbotham
The Dip: A Little Book That Teaches You When to Quit (and When ...
Godin, Seth