A brief introduction to type theory and the univalence axiom
Jackson Macor
Profit First: Transform Your Business From a Cash-Eating Monster ...
Mike Michalowicz
Calculus on Manifolds
Michael Spivak
Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson