Complexity of proofs and their transformations in axiomatic theories

著者
書誌事項

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)

関連文献: 1件中  1-1を表示
詳細情報
  • NII書誌ID(NCID)
    BA21082506
  • ISBN
    • 0821845764
  • LCCN
    93011139
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 原本言語コード
    rus
  • 出版地
    Providence, R.I.
  • ページ数/冊数
    vi, 153 p.
  • 大きさ
    26 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ