Mendeley出力
＜図書＞
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. ; 26 cm |
| 概要 | Contains English translations of three outstanding dissertations by Russian mathematicians in mathematical logic, mathematical linguistics, and complexity theory. Areas discussed include classificatio... of propositional provability logics, Lambek calculus and formal grammars, the Chomsky hierarchy and the Lambek categorical grammars, a general framework for formulating the relativizability criteria and for analyzing their limits, and relativizable inclusions for some of the known complexity classes. No index. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6833045 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | SER/AMST/192 | 1999 |
|
023211999009588 |
|
書誌詳細
| 一般注記 | Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian Includes bibliographical references |
|---|---|
| 著者標目 | *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 |
| 分 類 | LCC:QA3 LCC:QA9.46 DC21:510 s DC21:511.3 |
| 書誌ID | 1001400198 |
| ISBN | 0821810782 |
| NCID | BA41357855 |
| 巻冊次 | : hbk. : alk. paper ; ISBN:0821810782 |
| 登録日 | 2009.11.02 |
| 更新日 | 2017.02.18 |