500 A Collection of Sketches by Spencer Nugent
Spencer Nugent
A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787
Austerity: The History of a Dangerous Idea
Mark Blyth
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus