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

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