TY  - BOOK
AU  - Марков, А. А.
AU  - Хомич, В. И.
ED  - АН СССР, ВЦ.
TI  - Исследования по теории алгоритмов и математической логике: Сборник статей 
PY  - 1979///
CY  - Москва
PB  - Наука
KW  - მათემატიკური ლოგიკა
KW  - ალგორითმები
N1  - Библиогр. в конце статей
ER  -