Eros and Magic in the Renaissance
Ioan P. Culianu
The Design of Everyday Things: Revised and Expanded Edition
Norman, Don
Zen of Assembly Language: Knowledge
Michael Abrash
A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
