Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Red Book (Liber Novus)
C. G. Jung (Author), Sonu Shamdasani (Editor, Translator), Mark ...
Introduction to Quantum Mechanics & Applications to Chemistry
Linus Pauling, E. Bright Wilson Jr.
Code The Hidden Language of Computer Hardware and Software
Charles Petzold
Lymph & Longevity: The Untapped Secret to Health
Gerald Lemole