Terms for subject Programming containing logique informatique

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