PanLinx: формальная выводимость

русский	rus-000
формальная выводимость

English	eng-000	formal deducibility
English	eng-000	formal derivability

PanLex-PanLinx