Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Cratylus, Phaedo, Parmenides and Timaeus of Plato. Translated ...
Plato
The Courage of Hopelessness: Chronicles of a Year of Acting ...
Slavoj Žižek
Opticks: or, A treatise of the reflections, refractions, inflexions ...
Newton, Isaac, 1642-1727
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche