A brief introduction to type theory and the univalence axiom
Jackson Macor
Morse Theory
John Milnor
Business Adventures
John Brooks
Taking the Shape of the Gods: A Theurgic reading of Hermetic ...
Gregory Shaw
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson