PanLinx
English
eng-000
course-of-values induction
русский
rus-000
возвратная индукция
PanLex