Complexity of proofs and their transformations in axiomatic theories /
Orevkov, V. P.
Louvish, David.
Providence, R.I. : American Mathematical Society,
c1993.
Includes bibliographical references.
Proof theory.