Email Record: Mathematical Logic for Computer Science /