TY  - BOOK
AU  - Пхакадзе,Ш.С.
AU  - Магнарадзе,Л.Г.
ED  - 
TI  - Исследования по математической логике и теории алгоритмов
U1  - 51.01:16 
PY  - 1975///
CY  - Тбилиси
PB  - Изд. гос. унверсит.
KW  - Математика
KW  - Математическая логика
N1  - Библиогр. в конце главы
ER  -