English ⇄ Russian

set of inference rules stresses
logic	формальная система (Alex_Odeychuk)
progr.	набор правил вывода (Alex_Odeychuk)

set of inference rules: 2 phrases in 1 subject

Programming

2