形式論理と計算可能性
CiNii
所蔵館 74館
書誌事項
- タイトル
- "形式論理と計算可能性"
- タイトル別名
-
- ケイシキ ロンリ ト ケイサン カノウセイ
- Formal logic and computability
- 責任表示
- 東京大学工学教程編纂委員会編 ; 蓮尾一郎, 浅田和之著
- 出版者
-
- 丸善出版
- 出版年月
-
- 2024.9
- 書籍サイズ
- 21cm
この図書・雑誌をさがす
注記
参考文献: p183-184
索引: p187-192
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1130020232329983386
-
- NII書誌ID
- BD08589006
-
- ISBN
- 9784621310144
-
- 本文言語コード
- ja
-
- 出版国コード
- ja
-
- タイトル言語コード
- ja
-
- 出版地
-
- 東京
-
- データソース種別
-
- CiNii Books
