Análisis de Sistemas - Lógica y Álgebra