TY  - BOOK
AU  - Пхакадзе, Ш.С.
TI  - ИССЛЕДОВАНИЯ по математической логике и теории алгоритмов
T2  - Труды Института прикладной математики имени И.Н. Векуа
VL  - 36
PY  - 1990///
CY  - Тбилиси
PB  - Изд-во Тбил. ун-та
N2  - Библиогр. в конце ст
ER  -