The Edge of Knowledge
Lawrence M. Krauss
The World According to Physics
Jim Al-Khalili
Six Not-So-Easy Pieces
Richard P. Feynman & Robert B. Leighton & Matthew Sands
Elemental
Tim James
Purely Functional Data Structures
Chris Okasaki
Modern Compiler Implementation in ML
Andrew W. Appel
Modern Compiler Implementation in C
Andrew W. Appel & Maia Ginsburg
Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley
Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers