Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
A treatise on electricity and magnetism
Maxwell, James Clerk, 1831-1879
Complete Works of Aristotle, Volume 2
Aristotle, Barnes, J.
Designing the Mind: The Principles of Psychitecture
Designing The Mind & Ryan A Bush
Deuterium Depletion: A New Way in Curing Cancer and Preserving ...
Gábor Somlyai