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