Six Not-So-Easy Pieces
Richard P. Feynman & Robert B. Leighton & Matthew Sands
In Search Of Schrodinger's Cat
John Gribbin
Introduction to Graph Theory
Richard J. Trudeau
The Edge of Knowledge
Lawrence M. Krauss
The Little Typer
Daniel P. Friedman & David Thrane Christiansen
Structure and Interpretation of Computer P
Harold Abelson
Advanced Topics in Types and Programming Languages
Benjamin C. Pierce
Types and Programming Languages