Complexity of proofs and their transformations in axiomatic theories by Orevkov, Vladimir Pavlovič fromTranslations of mathematical monographs 0 Type: Book
