論理学への数学的手引き
著者
書誌事項
論理学への数学的手引き
1月と7月, 2020.9
- タイトル別名
-
A mathematical introduction to logic
- タイトル読み
-
ロンリガク エノ スウガクテキ テビキ
大学図書館所蔵 全8件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキスト。数理論理学の基本定理である1階論理の完全性定理、ゲーデルの不完全性定理(第1および第2)の完全な証明などを収録する。
読書案内: p479-480
訳者による読書案内: p483
原著第2版(Harcourt/Academic, c2001)の翻訳
内容説明・目次
内容説明
本書は、アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキストの翻訳です。数理論理学の基本定理である1階論理の完全性定理、ゲーデルの不完全性定理(第1および第2)の完全な証明に加え、完全性定理の応用例としての超準解析、2階論理の初歩までをカバーしています。
目次
- 第0章 集合についての予備知識
- 第1章 文論理(形式言語についての、非形式的な注意;文論理の言語 ほか)
- 第2章 1階論理(準備;1階の言語 ほか)
- 第3章 決定不可能性(数論;後者関数のみをもつ自然数論 ほか)
- 第4章 2階論理(2階言語;スコーレム関数 ほか)
「BOOKデータベース」 より