раздел теоретической информатики и математической логики

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