Email Record: Applied logic for computer scientists :