Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Structure Of Scientific Revolutions
Thomas Kuhn
A treatise on electricity and magnetism
Maxwell, James Clerk, 1831-1879
Picatrix Liber Atratus: Books 3 and 4 (Complete Picatrix Liber ...
Christopher Warnock
On the Genealogy of Morals
Frederich Nietzsche