Enviar Registro por Correo electrónico: Logic techniques of formal reasoning /