Leibniz’s Theory of Proof . Sci. stud. 2013, 11 (2), 267-279. https://doi.org/10.1590/S1678-31662013000200002.