Intuitionistic Type Theory
Per Martin-Lof
Euripides IV: Helen, the Phoenician Women, Orestes
Euripides
Every Landlord's Legal Guide-Nolo (2006)
Marcia Stewart, Janet Portman, Ralph E. Warner
The Search for the Perfect Language
Umberto Eco
The histories of Herodotus
Herodotus