Email Record: Essentials of symbolic logic /