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