Исследования по математической логике и теории алгоритмов / Тбил. ун-т ; Ин-т прикладной математики им. И. Н. Векуа. - Тбилиси : Изд-во ун-та, 1985. - 105 с. Библиогр. в конце статей. Резюме на англ. яз. Subjects--Index Terms: ალგორითმების თეორია მათემატიკური ლოგიკა Universal Decimal Class. No.: 510.51