Αποστολή με SMS: Mathematical logic and theoretical computer science /