Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Complete Works of Aristotle, Volume 2
Aristotle, Barnes, J.
The Collected Works of C. G. Jung : Aion
C. G. Jung
Euripides II: Andromache, Hecuba, the Suppliant Women, Electra
Euripides
New Foundations for Classical Mechanics
D. Hestenes