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 2026 Feb. 5];8:43-6. Available from: https://syt.uv.cl/index.php/SST/article/view/4926