NCID | BA21082506 |
タイトル | 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] |
出版者 | Providence, R.I. : American Mathematical Society , c1993 |
形態 | vi, 153 p. : ill. ; 26 cm |
別書名 | Сложность доказательств и их преобразований в аксиоматизированных теориях Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii︠a︡kh
|
注記 | Includes bibliographical references (p. 151-153) |
シリーズ名 | Translations of mathematical monographs ; v. 128
|
分類 | LCC:QA9.54 DC20:511.3 |
件名 | LCSH:Prooftheory
|
著者情報 | Orevkov, V. P Louvish, David Louvish, David
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
原作言語 | ロシア語 |
出版国 | アメリカ合衆国 |
ISBN | 0821845764
|
番号 | LCCN : 93011139 |