Title: Opera omnia in quinque tomos distributa..
First published: 1734