Terms containing inference rules

Subject	English	Russian
progr.	inference rules assigning types to terms	правила вывода, присваивающие термам типы (ssn)
progr.	number of inference rules in the type system	количество правил выведения типов в системе типов (Alex_Odeychuk)
progr.	set of inference rules assigning types to terms	набор правил вывода, присваивающих термам типы (ssn)