Полный англо-русский словарь
Мат. арифметическая иерархия (классификация множеств натуральных чисел по минимальной логической сложности описания)