Αποστολή με SMS: Handbook of logic in computer science /