Email Record: Discrete structures, logic, and computability