Terms for subject Programming containing rules of inference

English	Russian
case of derived rules of inference	случай производных правил вывода (ssn)
derived rule of inference	производное правило вывода (ssn)
derived rules of inference	производные правила вывода (ssn)
formal system of axioms and inference rules	формальная система аксиом и правил вывода (ssn)
number of inference rules in the type system	количество правил выведения типов в системе типов (Alex_Odeychuk)
set of inference rules	набор правил вывода (Alex_Odeychuk)
set of inference rules assigning types to terms	набор правил вывода, присваивающих термам типы (ssn)