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