https://9lib.org/document/7qvrvg1y-application-of-natural-deduction-in-renaissance-geometry.html