Email Record: Computation theory and logic /