| 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 |