Αποστολή με SMS: Aspects of Mathematical Logic