Normality for Gentzen systems in the classical case

Alessandra Palmigiano. Normality for Gentzen systems in the classical case. In ESSLLI Student Papers. pages 111-123, 1999.

Abstract

Abstract is missing.