PanLinx: теория доказательства

русский	rus-000
теория доказательства

English	eng-000	proof theory
English	eng-000	theory of proof

PanLex-PanLinx