Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
A brief introduction to type theory and the univalence axiom
Jackson Macor
The Presocratic Philosophers
G. S. Kirk & J. E. Raven & M. Schofield
Linear Algebra Through Geometry
Thomas Banchoff, John Wermer
3D Game Engine Architecture: Engineering Real-Time Applications ...
David H. Eberly