Title: Opera varia Joannis Harduini ..
First published: 1733