The Gnostic Jung & the Seven Sermons to the Dead
Stephan A. Hoeller
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Euripides II: Andromache, Hecuba, the Suppliant Women, Electra
Euripides
Science Since Babylon
Derek J. deSolla Price
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger