צרפתית ⇄ רוסית

branche de la logique mathématique et de l'informatique théorique מתח
.תִכנו	раздел теоретической информатики и математической логики (о теории вычислимости (иногда назыв. теорией рекурсивных функций) ssn)