Taking People With You: The Only Way to Make Big Things Happen ...
David Novak
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Principia Mathematica Vol 2
Alfred North Whitehead & Bertrand Russel
The Drunkard's Walk
Leonard Mlodinow
Quantum Mechanics and the Particles of Nature: An Outline for ...
Anthony Sudbery
Studies in Chemical Physics (1)