Formal inference

формальный вывод

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