Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic | Publicación