TY  - DATA
AU  - Orevkov, V. P.
AU  - Louvish, David.
TI  - Complexity of proofs and their transformations in axiomatic theories 
T2  - Translations of Mathematical Monographs, 
SN  - 9781470445362 (online)
PY  - 1993///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Proof theory
N1  - Includes bibliographical references (p. 151-153)
UR  - https://doi.org/10.1090/mmono/128
ER  -