Provability, complexity, grammars / Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin
(American Mathematical Society translations ; ser. 2, v. 192)
| データ種別 | 図書 |
|---|---|
| 出版者 | Providence, R.I. : American Mathematical Society |
| 出版年 | c1999 |
| 形態 | ix, 172 p. : ill. ; 26 cm |
| 著者標目 | *Beklemishev, Lev Dmitrievich, 1967- Pentus, Mati Reĭnovich, 1967- Vereshchagin, Nikolai Konstantinovich, 1958- |
| 件 名 | LCSH:Modality -- Logic
全ての件名で検索
LCSH:Proof theory LCSH:Computational complexity LCSH:Mathematical linguistics |
| 分 類 | NDC:410.8 NDC:410.12 |
| 書誌ID | LT00566133 |
所蔵情報を非表示
| 状 態 | 巻 次 | 所 在 | 請求記号 | 資料番号 | ISBN | 刷 年 | コメント | 利用注記 | 予約・取寄 | お薦めの本 | 自動書庫 | 付録注記 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
理学部分室開架 | 410.8/A44-1/2-192 | 0111601930100 | 9780821810781 |
|
|
|
|
|
書誌詳細を非表示
| 本文言語 | 英語 |
|---|---|
| 一般注記 | Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian Includes bibliographical references |
| NCID | BA41357855 |
| 巻冊次 | ISBN:0821810782 |
目次／あらすじ
類似資料
この資料を見た人はこんな資料も見ています
この資料の利用統計
このページへのアクセス回数：2回
※2020年8月以降