論理学
著者
書誌事項
論理学
東京大学出版会, 1994.2
- タイトル別名
-
Logic : an introduction
- タイトル読み
-
ロンリガク
大学図書館所蔵 件 / 全405件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p251-253
内容説明・目次
目次
- 序論 論理と言語
- 第１章 命題論理
- 第２章 述語論理
- 第３章 パラドクス・形式主義・メタ論理
- 第４章 直観主義論理
- 第５章 不完全性定理
- 付録 命題論理の公理系ＬＰの定理の証明
「BOOKデータベース」 より