Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Emperor's New Mind: Concerning Computers, Minds, and the ...
Penrose, Roger
The works of Archimedes. Vol. 1 The two books on the sphere ...
Reviel Netz
Game Programming Gems 6
Michael Dickheiser
A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787