論理と分析 : 文系のための記号論理入門
著者
書誌事項
論理と分析 : 文系のための記号論理入門
晃洋書房, 2019.8
- タイトル別名
-
Logic and analytic philosophy : an introduction to symbolic logic
Carnap, Gentzen, Tarski, Löwenheim-Skolem
- タイトル読み
-
ロンリ ト ブンセキ : ブンケイ ノ タメ ノ キゴウ ロンリ ニュウモン
大学図書館所蔵 件 / 全87件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
"Carnap, Gentzen, Tarski, Löwenheim-Skolem"
参考文献: p260-262
内容説明・目次
内容説明
ゲンツェンの自然演繹NKを中心に据え、述語論理の完全性定理、健全性定理まで見通しのよい道筋を描く。
目次
- イントロダクション
- 第1部 構文論と意味論
- 第2部 命題論理の構文論
- 第3部 命題論理の意味論
- 第4部 述語論理の構文論
- 第5部 述語論理の意味論
- 第6部 完全性定理と健全性定理
「BOOKデータベース」 より