Logica dimostrativa - Saccheri, Girolamo 1667-1733
With facing orig. Latin text. - Includes bibliographical references