Book of Proof
Richard Hammack
The Gnostic Jung & the Seven Sermons to the Dead
Stephan A. Hoeller
The Book of Five Rings
Musashi Miyamoto
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Linear Algebra Done Right
Sheldon Axler
Hypercomplex Numbers: An Elementary Introduction to Algebras
I. L. Kantor & A. S. Solodovnikov