The Logic of Chemical Synthesis
Corey E.G., Chelg X.
A brief introduction to type theory and the univalence axiom
Jackson Macor
The Making of Late Antiquity
Peter Brown
Anti-Tech Revolution: Why and How
Theodore John Kaczynski
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin
