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