發送短信: Introduction to symbolic logic /