Enviar por SMS: Методы математической логики и их применение в планировании: учебное пособие для вузов