Intuitionistic Type Theory
Per Martin-Lof
Complete Works of Aristotle, Volume 2
Aristotle, Barnes, J.
The Candida Cure: The 90-Day Program to Beat Candida & Restore ...
Boroch, Ann
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
Anti-Tech Revolution: Why and How
Theodore John Kaczynski