|
計算理論と数理論理学
Mathematics of logic and computation
共立出版
2022/06
9784320114722
|
| 分類記号1 | 410 数学 |
|---|---|
| 著者記号 | TA |
| 所蔵部署コード | 0002 図書館2階 |
| 配架場所コード | FUJIMA A_藤田雅人研究室 |
| 書名 | 計算理論と数理論理学 Mathematics of logic and computation |
| 出版者 | 共立出版 |
| 出版年表記 | 2022.6 |
| 定価 | 4,620 |
| ページ | viii, 299p |
| サイズ | 22cm |
| ISBN1 | 9784320114722 |
| 登録番号 | 100531357 |
| 注記 | 文献案内: p[261]-265 |
| 件名 | BSH:計算量理論||ケイサンリョウリロン BSH:記号論理学||キゴウロンリガク NDLSH:計算量理論||ケイサンリョウリロン NDLSH:記号論理学||キゴウロンリガク |