Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
On the Genealogy of Morals
Frederich Nietzsche
The Cratylus, Phaedo, Parmenides and Timaeus of Plato. Translated ...
Plato
Intuitionistic Type Theory
Per Martin-Lof