2013. Leibniz’s theory of proof . Scientiae Studia. 11, 2 (Jun. 2013), 267–279. DOI:https://doi.org/10.1590/S1678-31662013000200002.