Philosophy as a Rite of Rebirth: From Ancient Egypt to Neoplatonism
Algis Uždavinys
Linear Algebra Through Geometry
Thomas Banchoff, John Wermer
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...