Αποστολή με SMS: Mathematical Logic for Computer Science