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