Ecuaciones para retículos distributivos con cuantificador (2023)
ilustraciones, diagramas