Алгоритмическая Теория Множеств

См. Рекурсивная теория множеств.

Источник: Математическая энциклопедия на Gufo.me