Intuitionistic Type Theory
Per Martin-Lof
Designing Games: A Guide to Engineering Experiences
Tynan Sylvester
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
The Toxin Solution
Joseph Pizzorno
The origin of species
Darwin, Charles, 1809-1882