Types and Programming Languages
Benjamin C. Pierce
Encyclopedia of Optimization
Christodoulos A. Floudas & Panos M. Pardalos
Psychedelics Encyclopedia
Peter G. Stafford & Jeremy Bigwood
From the Circle of Alcuin to the School of Auxerre: Logic, Theology ...
John Marenbon
Codes, Ciphers, and Secret Languages
Fred B. Wrixon
The Revolution
Ron Paul