German ⇄ Russian

Teilgebiet der theoretischen Informatik und der mathematischen Logik stresses
progr.	раздел теоретической информатики и математической логики (о теории вычислимости (иногда назыв. теорией рекурсивных функций) ssn)