Αποστολή με SMS: Elements of mathematical logic :