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