Complexity of proofs and their transformations in axiomatic theories/
Orevkov, V. P.
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. .
Includes bibliographical references (p. 151-153).
0821845764 (acid-free)
93011139
Proof theory
Preuve, théorie de la.
511.3 / O66c
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. .
Includes bibliographical references (p. 151-153).
0821845764 (acid-free)
93011139
Proof theory
Preuve, théorie de la.
511.3 / O66c