Greek, an Intensive Course
Hardy Hansen & Gerald M. Quinn
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
De Umbris Idearum: On the Shadows of Ideas (Collected Works ...
Giordano Bruno
A History of Mathematical Notations: Vol. I
Florian Cajori