Αποστολή με SMS: Logical Foundations of Computer Science