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