Complexity of proofs and their transformations in axiomatic theories, in (1993)

by V P Orevkov
Venue:AmericanMathematical Society