Democracy in America
de Tocqueville, Alexis
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
CMOS Digital Integrated Circuits: Analysis and Deisgn
Sung-Mo (Steve) Ang & Yusuf Leblebgi
Tao Te Ching
Lao-tzu
Damascius' Problems and Solutions Concerning First Principles
Damaskios
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche
The Emperor's New Mind: Concerning Computers, Minds, and the ...
Penrose, Roger