Volver a los detalles del artículo Una introducción a la equivalencia definicional y a la Morita-equivalencia en la lógica multivariada de primer orden Descargar Descargar PDF