スマリヤン数理論理学 : 述語論理と完全性定理

Author(s)

• Smullyan, Raymond M.
• 村上, 祐子 ムラカミ, ユウコ
• 高橋, 昌一郎 タカハシ, ショウイチロウ

Bibliographic Information

スマリヤン数理論理学 : 述語論理と完全性定理

Raymond Smullyan [著] ; 村上祐子訳

丸善出版, 2014.11

Other Title

Logical labyrinths

スマリヤン記号論理学

数理論理学 : スマリヤン

Title Transcription

スマリヤン スウリ ロンリガク : ジュツゴ ロンリ ト カンゼンセイ テイリ

Note

監訳: 高橋昌一郎

原著(A.K. Peters, 2009)の後半(Part III-Part VI)の全訳, 前半は『スマリヤン記号論理学』として発行

参考文献: p189-190

索引あり

Description and Table of Contents

Description

スマリヤンの最終講義。１階述語論理の本質へ。

Table of Contents

• 第１部　無限（無限の本質；数学的帰納法；一般化帰納法、ケーニッヒの補題、コンパクト性）
• 第２部　１階述語論理の基礎的結果（命題論理の基礎的結果；１階述語論理：完全性、コンパクト性、スコーレム‐レーヴェンハイムの定理；正規性定理）
• 第３部　公理系（公理的方法入門；命題論理の公理的方法（続き）；１階述語論理の公理系）
• 第４部　１階述語論理（続き）（クレイグの補間補題；ロビンソンの整合性定理；ベスの定義可能性定理；まとめ；この先にあるもの）

by "BOOK database"

Details

• NCID: BB1734197X
• ISBN:
  • 9784621087855
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: iv, 196p
• Size: 21cm
• Classification:
  • NDC8 : 410.96
  • NDC9 : 410.96
  • NDC10 : 410.96
• Subject Headings:
  • BSH : 記号論理学