PanLinx
русский
rus-000
арифметика предикатов
English
eng-000
predicative arithmetic
PanLex