"cut-elimination theorem"
Deutsche bedeutung
Englisch > Deutsch
Deutsch > Englisch
Englisch
Deutsch
cut-elimination theorem
Gentzenscher Hauptsatz