Полный англо-русский словарь
logic of evidence
Мат. логика доказательства
Полный англо-русский словарь
logic of commands
logic of existence