Email Record: Nociones de lógica formal /