Una introducción a la equivalencia definicional y a la Morita-equivalencia en la lógica multivariada de primer orden. SerieST [Internet]. 2025 May 7 [cited 2025 Dec. 24];8:43-6. Available from: https://rhv.uv.cl/index.php/SST/article/view/4926