Algorithms to Live By
Brian Christian
A Mathematician's Apology
G. H. Hardy
Practical Foundations for Programming Languages
Robert Harper
A brief introduction to type theory and the univalence axiom
Jackson Macor
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti