Αποστολή με SMS: Introduction to symbolic logic and its applications /