The Thirteen Books of Euclid's Elements
Euclid, Johan Ludvig Heiberg
Intuitionistic Type Theory
Per Martin-Lof
Ways that are Dark: The Truth about China
Ralph Townsend
A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar
