Email Record: A first course in modern logic /