| NCID | BA41357855 |
| タイトル | Provability, complexity, grammars / Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin |
| 出版者 | Providence, R.I. : American Mathematical Society , c1999 |
| 形態 | ix, 172 p. ; 26 cm |
| 注記 | Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian
Includes bibliographical references |
| シリーズ名 | American Mathematical Society translations ; ser. 2, v. 192
|
| 分類 | LCC:QA3
LCC:QA9.46
DC21:510 s
DC21:511.3 |
| 件名 | LCSH:Modality(Logic)
LCSH:Prooftheory
LCSH:Computationalcomplexity
LCSH:Mathematicallinguistics
|
| 著者情報 | Beklemishev, Lev Dmitrievich, 1967-
Pentus, Mati Reĭnovich, 1967-
Vereshchagin, Nikolai Konstantinovich, 1958-
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 原作言語 | ロシア語 |
| 出版国 | アメリカ合衆国 |
| ISBN | 0821810782(: hbk. : alk. paper)
|
| 番号 | LCCN : 99020177 |