TY  - BOOK
AU  - Соболев, С. Л.
ED  - Труды ин-та математики.
TI  - Математическая логика и теория алгоритмов : 1982
T2  - Труды Института математики 
PY  - 1982///
CY  - Новосибирск
PB  - Наука
KW  - მათემატიკა
KW  - ლოგიკა
KW  - ალგორითმული პრობლემები
KW  - კრებული
N1  - Библиогр. в конце ст
ER  -