Математическая теория программирования : Сов. болг. сб. науч. тр. / АН СССР. Сиб. отд. ВЦ. Под. ред. А. П. Ершова, Д. Скордева. - Новосибирск : ВЦ СО АН СССР, 1985. - 175 с. Библиогр. в конце статей. Subjects--Index Terms: მათემატიკური ლოგიკა პროგრამირება კრებულები Universal Decimal Class. No.: 510.6