On the idea of a general proof theory
scientific article; zbMATH DE number 3499722