計算理論と数理論理学
Mathematics of logic and computation
共立出版
2022/06/30
9784320114722
表紙画像は「紀伊國屋書店」のものを使用しています。
画像をクリックすると紀伊國屋書店のオンラインストアの詳細ページを表示します。 |
和洋区分 | 和書 |
---|---|
書名,巻次,叢書名 | 計算理論と数理論理学 Mathematics of logic and computation |
著者名 | 田中一之著 |
出 版 者 | 共立出版 |
出版年月日 | 2022/06/30 |
定価 | 4,620 |
ペ ー ジ | viii, 299p |
サ イ ズ | 22cm |
ISBN1 | 9784320114722 |
注記 | 文献案内: p[261]-265 |
件名 | 計算量理論 記号論理学 計算量理論 記号論理学 |