A brief introduction to type theory and the univalence axiom
Jackson Macor
Principia Mathematica Vol 2
Alfred North Whitehead & Bertrand Russel
The Divine Proportion
H. E. Huntley
Clojure for the Brave and True: Learn the Ultimate Language ...
Daniel Higginbotham
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche