PanLinx
русский
rus-000
гиперарифметическая иерархия
English
eng-000
hyperarithmetical hierarchy
PanLex
