Einstein's Fridge
Paul Sen
Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers
Mathematics With Applications
Susanna S. Epp
Modern Compiler Implementation in C
Andrew W. Appel & Maia Ginsburg
Feynman Lectures On Computation
Richard P. Feynman