PanLinx: аксиоматическое описание

русский	rus-000
аксиоматическое описание

English	eng-000	axiomatic characterization
English	eng-000	axiomatic description
English	eng-000	axiomatic specification

PanLex-PanLinx