PanLinx
English
eng-000
one-place predicate calculus
русский
rus-000
исчисление одноместных предикатов
PanLex
