“ Leibniz’s theory of proof ”, Sci. stud., vol. 11, no. 2, pp. 267–279, Jun. 2013, doi: 10.1590/S1678-31662013000200002.