現代論理学

Author(s)

Bibliographic Information

現代論理学

安井邦夫著

世界思想社, 2021.4

  • : 新装版

Title Transcription

ゲンダイ ロンリガク

Available at  / 12 libraries

Note

1991年刊の新装版

参考文献: p211-212

Description and Table of Contents

Table of Contents

  • 第１章　命題論理学（トートロジー；自然推論；公理系）
  • 第２章　述語論理学（自然推論；公理系；解釈、モデル、完全性）
  • 第３章　形式的数論（形式的数論Ｚ；Ｚの定理　その１；Ｚの定理　その２；数論的関係と関数の表現可能性）
  • 第４章　帰納的関数（帰納的関数；帰納的関係；累積帰納法；帰納的関数と表現可能性）
  • 第５章　不完全性定理（Ｇ¨ｏｄｅｌ数；メタ数学の算術化；不完全性定理；Ｒｏｓｓｅｒの定理、第２不完全性定理；決定問題とＣｈｕｒｃｈのテーゼ）

by "BOOK database"

Details

  • NCID
    BC06740198
  • ISBN
    • 9784790717553
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    京都
  • Pages/Volumes
    v, 215p
  • Size
    21cm
  • Classification
  • Subject Headings
Page Top