González López, J. J. 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.