現代論理学
著者
書誌事項
現代論理学
世界思想社, 2021.4
- : 新装版
- タイトル読み
-
ゲンダイ ロンリガク
大学図書館所蔵 全12件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
1991年刊の新装版
参考文献: p211-212
内容説明・目次
目次
- 第1章 命題論理学(トートロジー;自然推論;公理系)
- 第2章 述語論理学(自然推論;公理系;解釈、モデル、完全性)
- 第3章 形式的数論(形式的数論Z;Zの定理 その1;Zの定理 その2;数論的関係と関数の表現可能性)
- 第4章 帰納的関数(帰納的関数;帰納的関係;累積帰納法;帰納的関数と表現可能性)
- 第5章 不完全性定理(G¨odel数;メタ数学の算術化;不完全性定理;Rosserの定理、第2不完全性定理;決定問題とChurchのテーゼ)
「BOOKデータベース」 より