Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Computers as Theatre
Brenda Laurel
The History of the Peloponnesian War
Thucydides
The Count of Monte Cristo, Illustrated
Alexandre Dumas
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin