Conversations of Socrates (Classics)
Xenophon
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
The End of Absence
Michael Harris
A brief introduction to type theory and the univalence axiom
Jackson Macor
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche