Key points are not available for this paper at this time.
Jean-Yves Girard. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp. - Volume 54 Issue 4
Helmut Pfeiffer (Fri,) studied this question.