René Girard Jean-Michel Oughourlian Guy Lefort
Things hidden since the foundation of the world-Stanford University ...
The Thirteen Books of Euclid's Elements
Euclid, Johan Ludvig Heiberg
Intuitionistic Type Theory
Per Martin-Lof
Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
How to Draw: Drawing and Sketching Objects and Environments ...
Scott Robertson & Thomas Bertling