PanLinx
русский
rus-000
аксиоматическая семантика
English
eng-000
axiomatic semantics
PanLex
