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