Iamblichus' De Anima: Text, Translation, and Commentary
John Finamore & John Dillon
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Intuitionistic Type Theory
Per Martin-Lof
Gravity's Rainbow
Thomas Pynchon