Change by Design
Brown, Tim
Iamblichus' De Anima: Text, Translation, and Commentary
John Finamore & John Dillon
The Divine Proportion
H. E. Huntley
Mental Language: From Plato to William of Ockham
Claude Panaccio
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program