Visualize the dependency of mathematical theorems and proofs. A blend of the Bourbaki tradition, formal proof system, reverse mathematics, and readable prose.
The Calculus of Differentials, Integrals, Infinite Series, etc. (Newton, Leibniz, Euler), a loose collection of techniques prior to the rigorous foundation: mathematical analysis (Cauchy, Dedekind, Weierstrass)
