Terms containing induction on

Subject	English	Russian
math.	by induction on n	по индукции по n
progr.	examples of induction on typing derivations	примеры индукции на деревьях вывода типов (ssn)
math.	n induction on	индукция по (n)
progr.	induction on derivation trees	индукция на деревьях вывода типов (ssn)
progr.	induction on derivation trees	индукция на деревьях вывода (типов ssn)
progr.	induction on evaluation derivations	индукция на деревьях вычисления (ssn)
math.	induction on length	индукция по длине (формулы)
math.	by induction on n	по индукции по n
math.	induction on n	индукция по n
progr.	induction on typing derivations	индукция на деревьях вывода типов (ssn)
gen.	special induction course on the programme	специальный ознакомительный курс по программе
math.	the proof is by induction on п	индукция по п
math.	we prove this theorem by induction on n	по индукции