A brief introduction to type theory and the univalence axiom
Jackson Macor
Principia Mathematica Vol 2
Alfred North Whitehead & Bertrand Russel
The Age of Alternative Logics: Assessing Philosophy of Logic ...
Johan van Benthem & Gerhard Heinzmann & Manuel Rebuschi & Henk Visser
Game AI Pro: Collected Wisdom of Game AI Professionals
Steven Rabin
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson