The works of Archimedes. Vol. 1 The two books on the sphere ...
Reviel Netz
Principia Mathematica Vol 2
Alfred North Whitehead & Bertrand Russel
De Umbris Idearum: On the Shadows of Ideas (Collected Works ...
Giordano Bruno
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Design of Everyday Things: Revised and Expanded Edition
Norman, Don
The Model Thinker
Scott E. Page