Proclus and the Chaldean Oracles; A Study on Proclean Exegesis, ...
Nicola Spanu
The Design of Everyday Things: Revised and Expanded Edition
Norman, Don
Intuitionistic Type Theory
Per Martin-Lof
Trading and Exchanges
Larry Harris
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger