Полный англо-русский словарь
logic of commands
Мат. императивная логика
Полный англо-русский словарь
logic of certainty
logic of evidence