記号論理学講義 : 基礎理論 束論と圏論 知識論

Author(s)

• 清水, 義夫 シミズ, ヨシオ

Bibliographic Information

記号論理学講義 : 基礎理論 束論と圏論 知識論

清水義夫著

東京大学出版会, 2013.3

Other Title

Lectures on symbolic logic : elements of symbolic logic, lattice and category theory, philosophy of symbolic logic

Lectures on symbolic logic : elements of symbolic logic, lattice and category theory and philosophy of symbolic logic

記号論理学講義 : 基礎理論・束論と圏論・知識論

記号論理学講義 : 基礎理論束論と圏論知識論

Title Transcription

キゴウ ロンリガク コウギ : キソ リロン ソクロン ト ケンロン チシキロン

Note

その他のタイトルは標題紙裏による

参考図書: p373-374

Description and Table of Contents

Table of Contents

• 第１部　記号論理の基礎理論（推理論—述語論理；計算論１—帰納理論；計算論２—λ計算論；集合論—公理的集合論ＺＦＣ）
• 第２部　束論および圏論と記号論理（束論；記号論理と束；圏論；記号論理と圏）
• 第３部　記号論理への知識論的考察（論理語の原始性；計算論における両義的領域；選択公理ＡＣの正当性）
• 結び—学全体の中での記号論理の位置など
• 付録　ゲーデルの不完全性定理

by "BOOK database"

Details

• NCID: BB12134898
• ISBN:
  • 9784130120623
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vii, 382p
• Size: 21cm
• Classification:
  • NDC8 : 410.96
  • NDC9 : 410.96
  • NDLC : MA41
• Subject Headings:
  • BSH : 記号論理学