Greek, an Intensive Course
Hardy Hansen & Gerald M. Quinn
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
The Geometry of René Descartes
René Descartes
Modern Man in Search of a Soul
C.G. Jung, W. S. Dell, Cary F. Baynes
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program