The Box: How the Shipping Container Made the World Smaller and ...
Marc Levinson
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Hekate Soteira A Study of Hekate's Roles in the Chaldean -- ...
Unknown
The Method of Archimedes
Archimedes
A Discourse on Method: Rightly Conducting the Reason, and Seeking ...
Rene. Descartes