Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Roots of the Human Condition
Frithjof Schuon
The Complete Greek Drama: All the Extant Tragedies of Aeschylus, ...
Whitney Jennings Oates & Eugene O'Neill (jr.) & Eugene O'Neill
The History of the Peloponnesian War
Thucydides
Anti-Tech Revolution: Why and How
Theodore John Kaczynski