Email Record: Mathematical logic and applications :