Einstein's Fridge
Paul Sen
Modern Compiler Implementation in C
Andrew W. Appel & Maia Ginsburg
What Is Real?
Adam Becker
Elemental
Tim James
Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers