Una introducción a la equivalencia definicional y a la Morita-equivalencia en la lógica multivariada de primer orden. (2025). Serie Selección De Textos , 8, 43-63. https://doi.org/10.22370/sst.2020.8.4926