Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Opticks: or, A treatise of the reflections, refractions, inflexions ...
Newton, Isaac, 1642-1727
Patent Pending in 24 Hours
Attorneys Richard Stim & David Pressman (Nolo)
The Theoretic Arithmetic of the Pythagoreans -- Thomas Taylor, ...
Unknown
The Structure Of Scientific Revolutions
Thomas Kuhn
