The works of Archimedes. Vol. 1 The two books on the sphere ...
Reviel Netz
The Unfettered Mind: Writings from a Zen Master to a Master ...
Takuan Soho
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Math You Can't Use : Patents, Copyright, and Software
Ben Klemens
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar