Email Record: Logical foundations of computer science :