Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Data Management on New Hardware
Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin ...
The Search for Atlantis: A History of Plato's Ideal State
Kershaw, Stephen
The histories of Herodotus
Herodotus
The Count of Monte Cristo, Illustrated
Alexandre Dumas