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