Complexity of proofs and their transformations in axiomatic theories, volume 128 of Translations of Mathematical Monographs (1993)

by V P Orevkov