Logical Geometry
Unknown
The Thirteen Books of Euclid's Elements
Euclid, Johan Ludvig Heiberg
Philosophy of Mathematics
Linnebo, Øystein
Iamblichus' Egyptian Neoplatonic Theology in De Mysteriis
Dennis C. Clark
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program