Proclus and the Chaldean Oracles; A Study on Proclean Exegesis, ...
Nicola Spanu
Collision Detection in Interactive 3D Environments
Gino van den Bergen
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787
Grain Brain
David Perlmutter