Математическая логика и теория алгоритмов : 1982 /
Математическая логика и теория алгоритмов : 1982 /
Отв. ред. С. Л. Соболев ; Труды ин-та математики.
- Новосибирск : Наука, 1982.
- v.
- Труды Института математики Т. 2 .
Библиогр. в конце ст.
მათემატიკა ლოგიკა ალგორითმული პრობლემები კრებული
51(05)
Библиогр. в конце ст.
მათემატიკა ლოგიკა ალგორითმული პრობლემები კრებული
51(05)