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