Complexity of proofs and their transformations in axiomatic theories

Author(s)

• Orevkov, V. P
• Bochman, Alexander
• Louvish, David

Bibliographic Information

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]

（Translations of mathematical monographs, v. 128）

American Mathematical Society, c1993

Other Title

Сложность доказательств и их преобразований в аксиоматизированных теориях

Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii︠a︡kh

Note

Includes bibliographical references (p. 151-153)

• NCID: BA21082506
• ISBN:
  • 0821845764
• LCCN: 93011139
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: rus
• Place of Publication: Providence, R.I.
• Pages/Volumes: vi, 153 p.
• Size: 26 cm
• Classification:
  • LCC : QA9.54
  • DC20 : 511.3
• Subject Headings:
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA00080309