- 在庫状況:絶版のためご注文いただけません
- 記号論理学
-
その展望と限界をさぐる
Formal logic. 3rd ed.- 価格
- 2,990円(本体2,718円+税)
- 発行年月
- 1992年12月
- 判型
- A5
- ISBN
- 9784895014373
この商品をご覧のお客様は、こんな商品もチェックしています。
ゲスト さん (ログイン) |
オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料!新刊予約・通販も。本(書籍)、雑誌、漫画(コミック)、洋書など在庫も充実
その展望と限界をさぐる
Formal logic. 3rd ed.
この商品をご覧のお客様は、こんな商品もチェックしています。
[BOOKデータベースより]
本書は、初心者向けに書かれた記号論理学書で、命題論理から、ゲーデルの不完全性定理やチャーチ=チューリングの定理等までを取り扱っています。
第1章 真理関数的論理
第2章 真理の木
第3章 一般性
第4章 重なりあった一般性
第5章 同一性
第6章 関数
第7章 計算不可能性
第8章 決定不可能性
第9章 不完全性