Email Record: Mathematical Logic /