Euripides IV: Helen, the Phoenician Women, Orestes
Euripides
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
An Architectural Approach to Level Design
Christopher W. Totten
Intuitionistic Type Theory
Per Martin-Lof
Aristotelis Categoriae: Liber De Interpretatione
Aristotle