PanLinx
русский
rus-000
императивная логика
English
eng-000
imperative logic
English
eng-000
logic of commands
PanLex