Orevkov, V. P. <br/><br/>
Complexity of proofs and their transformations in axiomatic theories/ 
V. P. Orevkov ; translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish. 
 - Providence, R.I.:  American Mathematical Society,  c1993. 
 - vi, 153 p. ;  27 cm. 
 - Translations of mathematical monographs,  v. 128. .
<br/><br/>Includes bibliographical references (p. 151-153). 
<br/><br/><label>ISBN: </label>0821845764 (acid-free) 
<br/><br/><label>LCCN: </label>93011139 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory<br/>Preuve, théorie de la.
<br/><br/><label>Dewey Class. No.: </label>511.3  / O66c