Una introducción a la equivalencia definicional y a la Morita-equivalencia en la lógica multivariada de primer orden. SerieST. 2025;8:43-63. doi:10.22370/sst.2020.8.4926