Title: The Logica Demonstrativa of Girolamo Saccheri