Поделиться

Большой англо-русский и русско-английский словарь

мат. правило вывода

Англо-русский словарь технических терминов

правило (логического) вывода; правило порождающей грамматики