Buscar
Mostrando ítems 1-2 de 2
Avances en teoría de modelos : lógicas de primer orden y teoría paraconsistente de conjuntos
(2023)
Antonio Monteiro realizó una caracterización de las congruencias maximales para ciertas variedades semisimples, permitiendo presentar un teorema de representación de las
mismas; que bajo condiciones específicas, este ...