The Wealth of Nations
Adam Smith
Science Since Babylon
Derek J. deSolla Price
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
Intuitionistic Type Theory
Per Martin-Lof
The histories of Herodotus
Herodotus