Отправить по sms: Теоретические применения методов математической логики .1