Proof theory and ituitionistic systems - Dold A; Eckmann B; Heidelberg; Zurich (Berlin Springer-Verlag, 1971)