Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Foundations of Game Engine Development, Volume 1: Mathematics
Eric Lengyel
Two Treatises of Government : And a Letter Concerning Toleration
John Locke
Periphyseon: Division of Nature
Johannes Scotus Erigena
