Reprint of: ``A more general general proof theory''
scientific article; zbMATH DE number 6832782
scientific article