Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark
The Economy of Cities
Jane Jacobs
A Mathematician's Apology
G. H. Hardy
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Einstein Manifolds
Arthur L. Besse