Email Record: An Outline of Mathematical Logic :