Αποστολή με SMS: Logic for mathematicians