Вопросы математической логики и теории алгоритмов / АН СССР, ВЦ; Отв. ред.: Н.М. Нагорный. - Москва : ВЦ АН СССР, 1988. - 40 с. Библиогр. в конце ст. Subjects--Index Terms: Математическая логика - Сборники Алгоритмы - Синтез - Сборники