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 Jan. 17];8:43-6. Available from: https://ieya.uv.cl/index.php/SST/article/view/4926