Математическая логика и теория алгоритмов./
Редактор Соболев С.Л.;
- Орос Наука Сибирское отделение 1982
- 174
800
математика основания математики математическая логика теория алгоритмов
800
математика основания математики математическая логика теория алгоритмов