Types and Programming Languages
Benjamin C. Pierce
Elemental
Tim James
The Edge of Knowledge
Lawrence M. Krauss
Einstein's Fridge
Paul Sen
Our Mathematical Universe
Max Tegmark
Reality Is Not What It Seems
Carlo Rovelli