Una introducción a la equivalencia definicional y a la Morita-equivalencia en la lógica multivariada de primer orden | Publicación