Complexity of proofs and their transformations in axiomatic theories
By: V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish].
Contributors: Louvish, David.
Series: Translations of mathematical monographs ;; v. 128
Publisher: American Mathematical Society
Published: 1993
Place of publication: Providence, R.I
Language: eng
Number of pages: 153
Subjects: Proof theory.
Notes: Includes bibliographical references (p. 151-153).