計算理論と数理論理学
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 1F |
配架場所コード | 16 新着図書コーナー |
注記 | 文献案内: p[261]-265 |
件名 | 計算量理論 記号論理学 計算量理論 記号論理学 |