PanLinx
русский
rus-000
теория первого порядка
English
eng-000
first-order theory
PanLex