http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Complexity of proofs and their transformations in axiomatic theories
Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii͡akh. English
V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish].
Includes bibliographical references (pages 151-153).
Translations of mathematical monographs ; v. 128