Orevkov, V. P.

Complexity of proofs and their transformations in axiomatic theories - Providence, R.I. : American Mathematical Society, c1993. - 1 online resource (vi, 153 p.) - Translations of Mathematical Monographs, v. 128 2472-5137 ; .

Includes bibliographical references (p. 151-153).

9781470445362 (online)


Proof theory.