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