|
計算理論と数理論理学
Mathematics of logic and computation
共立出版
2022/06/30
9784320114722
|
| 和洋区分 | 和書 |
|---|---|
| 書名,巻次,叢書名 | 計算理論と数理論理学 Mathematics of logic and computation |
| 著者名 | 田中一之著 |
| 分類記号1 | 410.9 |
| 著者記号 | T |
| 出 版 者 | 共立出版 |
| 出版年月日 | 2022/06/30 |
| 定価 | 4,620 |
| ペ ー ジ | viii, 299p |
| サ イ ズ | 22cm |
| ISBN1 | 9784320114722 |
| 保管場所コード | 01 １F |
| 配架場所コード | 16 新着図書コーナー |
| 注記 | 文献案内: p[261]-265 |
| 件名 | 計算量理論 記号論理学 計算量理論 記号論理学 |