“ Leibniz’s theory of proof ” (2013) Scientiae Studia, 11(2), pp. 267–279. doi:10.1590/S1678-31662013000200002.