Αποστολή με SMS: Mathematical logic and its applications /