形式論理と計算可能性 Formal logic and computability
著者
書誌事項
形式論理と計算可能性 = Formal logic and computability
(東京大学工学教程 / 東京大学工学教程編纂委員会編, . 情報工学||ジョウホウ コウガク)
丸善出版, 2024.9
- タイトル読み
-
ケイシキ ロンリ ト ケイサン カノウセイ
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p183-184
索引: p187-192