Deutsch Version
Translate
"cut-elimination theorem"
to German Language
English to German
German to English
English
German
cut-elimination theorem
Gentzenscher Hauptsatz