Conversations of Socrates (Classics)
Xenophon
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
Intuitionistic Type Theory
Per Martin-Lof
Roots of the Human Condition
Frithjof Schuon