PanLinx
русский
rus-000
язык исчисления предикатов
English
eng-000
predicate calculus language
PanLex