
- 在庫状況:品切れのため入荷お知らせにご登録下さい
- 真理・証明・計算
-
論理と機械
ミネルヴァ書房
内井惣七
- 価格
- 2,530円(本体2,300円+税)
- 発行年月
- 1989年04月
- 判型
- A5
- ISBN
- 9784623018840


この商品をご覧のお客様は、こんな商品もチェックしています。
-
戦争抵抗の倫理
-
師井勇一
価格:3,520円(本体3,200円+税)
【2022年06月発売】
ユーザーレビュー
この商品に寄せられたカスタマーレビューはまだありません。
レビューを評価するにはログインが必要です。
この商品に対するあなたのレビューを投稿することができます。

[BOOKデータベースより]
1 論理学の歴史から
2 真理関数と分析的方法
3 自然演繹と証明
4 証明と真理
5 述語論理のモデル
6 述語論理の証明
7 述語論理の完全性
8 機械1―有限オートマトン
9 機械2―テューリング機械
10 決定不可能な問題