Исследование задач и методов их решения для одного класса систем логических соотношенийСуров, Вадим Валерьевич200018 с.