PanLinx
русский
rus-000
равномерная примитивная рекурсия
English
eng-000
uniform primitive recursion
PanLex