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