Отправить по sms: Methods in mathematical logic