PanLinx: динамическая логика

русский	rus-000
динамическая логика

English	eng-000	DL
English	eng-000	dynamic logic

PanLex-PanLinx