Masters of Doom: How Two Guys Created an Empire and Transformed ...
David Kushner
The Three Languages of Politics: Talking Across the Political ...
Kling, Arnold
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Geometric Quantization
N. M. J. Woodhouse
A treatise on electricity and magnetism
Maxwell, James Clerk, 1831-1879