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