Email Record: Mathematical logic and formal systems :