Deutsch Version
Meaning of
"Gentzenscher Hauptsatz"
in English language
German to English
English to German
German
English
Gentzenscher Hauptsatz
cut-elimination theorem