TY  - BOOK
AU  - Ершов, Юрий Леонидович
AU  - Рожковская, Т. Н. 
AU  - Семченко, Т. Д. 
ED  - Академия Наук СССР
TI  - Математическая логика и алгоритмические проблемы : 1989
T2  - Труды Института математики 
SN  - 5020286230
SN  - 0208-0060
PY  - 1989///
CY  - Новосибирск
PB  - Наука
KW  - მათემატიკა
KW  - ლოგიკა
KW  - ალგორითმული პრობლემები
KW  - კრებული
N1  - Библиогр. в конце ст
ER  -