The History of the Peloponnesian War
Thucydides
Trading and Exchanges
Larry Harris
Rework
Jason Fried & David Heinemeier Hansson
A brief introduction to type theory and the univalence axiom
Jackson Macor
The Age of Alternative Logics: Assessing Philosophy of Logic ...
Johan van Benthem & Gerhard Heinzmann & Manuel Rebuschi & Henk Visser
How to Solve It: A New Aspect of Mathematical Method
George Polya