Enviar registro por correo electrónico: Introducción a la lógica y al análisis formal /