Proposal for the Formalization of Dialectical Logic | Publicación