Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Water Technology in the Middle Ages: Cities, Monasteries, and ...
Roberta J. Magnusson
The 8th Habit
Stephen R. Covey
Euripides II: Andromache, Hecuba, the Suppliant Women, Electra
Euripides
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom