Complexity of proofs and their transformations in axiomatic theories

著者

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

書誌事項

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

タイトル別名

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

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

注記

Includes bibliographical references (p. 151-153)

詳細情報

• NII書誌ID(NCID): BA21082506
• ISBN:
  • 0821845764
• LCCN: 93011139
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: rus
• 出版地: Providence, R.I.
• ページ数/冊数: vi, 153 p.
• 大きさ: 26 cm
• 分類:
  • LCC : QA9.54
  • DC20 : 511.3
• 件名:
  • LCSH : Proof theory
• 親書誌ID:
  • BA00080309