Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Calculus on Manifolds
Michael Spivak
Four lectures on relativity and space
Steinmetz, Charles Proteus, 1865-1923
Electric Discharges, Waves and Implulses
Charles Proteus Steinmetz
Quantum Mechanics and the Particles of Nature: An Outline for ...
Anthony Sudbery
Studies in Chemical Physics (1)
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose
Book of Proof
Richard Hammack
Constructive Anatomy
George B. Bridgman
Dover Anatomy for Artist (1)
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair