Αποστολή με SMS: Logical Methods in Computer Science