Is Leibnizian Calculus Embeddable in First Order Logic? | Publicación