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