Αποστολή με SMS: Methods in mathematical logic :