PanLinx

русскийrus-000
рекурсивно аксиоматизируемый
Englisheng-000recursively axiomatizable


PanLex

PanLex-PanLinx