Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark
The Medieval Craft of Memory: An Anthology of Texts and Pictures
Mary Carruthers & Jan M. Ziolkowski
How to Solve It: A New Aspect of Mathematical Method
George Polya
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Presocratic Philosophers
G. S. Kirk & J. E. Raven & M. Schofield