Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Philosophy of Mathematics
Linnebo, Øystein
Beginning x64 Assembly Programming
Jo Van Hoey
The Structure Of Scientific Revolutions
Thomas Kuhn
Quantum Mechanics and the Particles of Nature: An Outline for ...
Anthony Sudbery
Studies in Chemical Physics (1)