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