PanLinx
русский
rus-000
гиперарифметическая вычислимость
English
eng-000
hyperarithmetical computability
PanLex
