Αποστολή με SMS: Mathematical Problems from Applied Logic I