PanLinx

русскийrus-000
исчисление предикатов
Englisheng-000functional calculus
Englisheng-000predicate calculus
Englisheng-000predicative calculus

PanLex

PanLex-PanLinx