English Version
Englische Übersetzung von
"Gentzenscher Hauptsatz"
Deutsch > Englisch
Englisch > Deutsch
Deutsch
Englisch
Gentzenscher Hauptsatz
cut-elimination theorem