Studies in proof theory (Bibliopolis)