記号論理学
著者
書誌事項
記号論理学
朝倉書店, 2023.11
- タイトル読み
-
キゴウ ロンリガク
大学図書館所蔵 件 / 全75件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[218]-219
内容説明・目次
目次
- 第1章 論理学とはなにか(正しい推論;対象言語とメタ言語;公理体系)
- 第2章 命題論理(命題の記号化;論理式 ほか)
- 第3章 述語論理(命題の記号化;限量記号の用法 ほか)
- 第4章 様相論理(様相命題論理;意味論;健全性;完全性;決定可能性;様相述語論理;意味論;健全性;完全性)
- 第5章 直観主義論理(直観主義命題論理;意味論;健全性;完全性;決定可能性;直観主義述語論理;意味論;健全性;完全性)
- 補論1 ゲンツェンの論理体系
- 補論2 様相論理への補論
- 補論3 線形論理について
「BOOKデータベース」 より