Materia: Introducción al Análisis Formal de Normas Legales