Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Orpheus and the Roots of Platonism
Algis Uždavinys
Complete Works of Aristotle, Volume 2
Aristotle, Barnes, J.
Collected Works of C.G. Jung, Volume 9 (Part 1): Archetypes ...
Jung, C. G., Hull, R. F.C., Adler, Gerhard
Aristotelis Categoriae: Liber De Interpretatione
Aristotle