PanLinx: исчисление одноместных предикатов

русский	rus-000
исчисление одноместных предикатов

English	eng-000	monadic predicate calculus
English	eng-000	one-place predicate calculus

PanLex-PanLinx