PanLinx: теорема истинности

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

English	eng-000	truth theorem
English	eng-000	validity theorem

PanLex-PanLinx