Title: Opera omnia Joannis Gersoni ..
First published: 1706