Значение АЛГОРИТМИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ в математической энциклопедии:
- см. Рекурсивная теория множеств.