PanLinx
русский
rus-000
рекурсивно вычислимая функция
English
eng-000
recursively calculable function
PanLex