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

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

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

Available at  / 143 libraries

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
  • Subject Headings
Page Top