Email Record: Introduction to symbolic logic /