Selected papers in proof theory - Mints, Grigorii E. (Studies in proof theory. monographs, 1992)