Translation of "cut-elimination" into Russian

Теорема Генцена об устранении сечения is the translation of "cut-elimination" into Russian.

cut-elimination
+ Add

English-Russian dictionary

  • Теорема Генцена об устранении сечения

    theorem

  • Show algorithmically generated translations

Automatic translations of "cut-elimination" into Russian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "cut-elimination" into Russian in sentences, translation memory