An introduction to metaphysics
Henri Bergson
Ethics
Spinoza
Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche