Reasoning and computation in Leibniz