Studies in proof theory
Bibliopolis
Grigorii E. Mints
Bibliopolis , North-Holland c1992 Studies in proof theory monographs 3
Available at 18 libraries
Wilfried Buchholz, Kurt Schütte
Bibliopolis c1988 Studies in proof theory . Monographs ; 2
Available at 20 libraries
Gerhard Jäger
Bibliopolis c1986 Studies in proof theory 2
Samuel R. Buss
Bibliopolis c1986 Studies in proof theory 3
Available at 24 libraries