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