計算理論と数理論理学
Mathematics of logic and computation
共立出版
2022/06/30
9784320114722
|
Jpn. or Foreign | 和書 |
---|---|
Title | 計算理論と数理論理学 Mathematics of logic and computation |
Author | 田中一之著 |
Classification 1 | 410.9 |
Author No. | T |
Publisher | 共立出版 |
Pub. Date | 2022/06/30 |
Price | 4,620 |
Page | viii, 299p |
Size | 22cm |
ISBN | 9784320114722 |
Location Code | 01 1F |
Shelf Code | 16 新着図書コーナー |
Notes | 文献案内: p[261]-265 |
Subjects | 計算量理論 記号論理学 計算量理論 記号論理学 |