Revolutionizing the Sciences European Knowledge & Its Ambitions, ...
Peter Dear
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus
A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Rework
Jason Fried & David Heinemeier Hansson