Hypercomplex Numbers: An Elementary Introduction to Algebras
I. L. Kantor & A. S. Solodovnikov
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Mediated
Thomas de Zengotita
Projective Geometric Algebra
Eric Lengyel
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
