Plato's Parmenides
Plato
Delphi Complete Works of Euripides (Illustrated)
Euripides
Geometric Quantization
N. M. J. Woodhouse
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
