Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers
Feynman Lectures on Gravitation
Richard P. Feynman & Fernando B. Morinigo & William G. Wagner & David Pines
A Universe From Nothing: Why There Is Something Rather Than ...
Lawrence M. Krauss
The Edge of Knowledge
The Little Typer
Daniel P. Friedman & David Thrane Christiansen
Type Theory and Functional Programming
Simon Thompson