A brief introduction to type theory and the univalence axiom
Jackson Macor
The Hero With A Thousand Faces
Joseph Campbell
The Complete Essays
Michel de Montaigne
Constructing the International Economy
Mark Blyth & Rawi Abdelal & Craig Parsons
Cornell Studies in Political Economy (1)
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth