Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Tao Te Ching
Lao-tzu
A History of Mathematical Notations: Vol. Ii
Florian Cajori
The Problem of Disenchantment: Scientific Naturalism and Esoteric ...
Egil Asprem
The Divine Proportion
H. E. Huntley