Αποστολή με SMS: A tour through mathematical logic