אנגלית ⇄ רוסית +

induction on derivation trees מתח
.תִכנו	индукция на деревьях вывода (типов ssn); индукция на деревьях вывода типов (ssn)