---

＜図書＞
ケイサン リロン ト スウリ ロンリガク
計算理論と数理論理学 = Mathematics of logic and computation / 田中一之著

出版者	東京 : 共立出版
出版年	2022.6
本文言語	日本語
大きさ	viii, 299p ; 22cm
著者標目	田中, 一之 <タナカ, カズユキ>
件　名	BSH:計算量理論 BSH:記号論理学 NDLSH:計算量理論 NDLSH:記号論理学
一般注記	文献案内: p[261]-265

 類似資料