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