Engineering a Compiler
Keith D. Cooper & Linda Torczon
Aristotelis Categoriae: Liber De Interpretatione
Aristotle
Clojure for the Brave and True: Learn the Ultimate Language ...
Daniel Higginbotham
The Age of Alternative Logics: Assessing Philosophy of Logic ...
Johan van Benthem & Gerhard Heinzmann & Manuel Rebuschi & Henk Visser
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program