TY - BOOK ED - Тбил. ун-т; Ин-т прикладной математики им. И. Н. Векуа. TI - Исследования по математической логике и теории алгоритмов PY - 1985/// CY - Тбилиси PB - Изд-во ун-та KW - ალგორითმების თეორია KW - მათემატიკური ლოგიკა N1 - Библиогр. в конце статей N2 - Резюме на англ. яз ER -