Complexity Of Proofs And Their Transformations In Axiomatic Theories door V.P. Orevkov