資料詳細

  • 1 件中、 1 件目

【図書】 スマリヤン数理論理学講義 上巻

不完全性定理の理解のために --
レイモンド・Ｍ・スマリヤン ／著, 田中一之 ／監訳, 川辺治之 ／訳   -- 日本評論社 -- ２０１７．９ -- ２２ｃｍ -- ３６３ｐ

資料詳細

タイトル スマリヤン数理論理学講義 上巻
各巻タイトル 不完全性定理の理解のために
著者名等 レイモンド・Ｍ・スマリヤン ／著, 田中一之 ／監訳, 川辺治之 ／訳  
出版 日本評論社 ２０１７．９
大きさ等 ２２ｃｍ ３６３ｐ
分類 410.96
件名 記号論理学
注記 欧文タイトル：Ｒａｙｍｏｎｄ　Ｍ．Ｓｍｕｌｌｙａｎ　Ｌｅｃｔｕｒｅｓ　ｏｎ　Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ
注記 原タイトル：Ａ　ＢＥＧＩＮＮＥＲ’Ｓ　ＧＵＩＤＥ　ＴＯ　ＭＡＴＨＥＭＡＴＩＣＡＬ　ＬＯＧＩＣ
注記 文献あり　索引あり
要旨 スマリヤン論理学の集大成・決定版。数学者レイモンド・Ｍ．スマリヤン（１９１９‐２０１７）。明快さと機知に富む多くの著作で知られる。その最後の著作となった、数理論理学（数学基礎論）の入門書。得意のパズルも交えた独特の筆致で読者を数理論理学の深い理解へと誘います。
目次 第１部　一般的な予備知識（数理論理学の起源；無限集合；問題発生！；数学の基礎知識）；第２部　命題論理（命題論理事始め；命題論理のタブロー；公理論的命題論理）；第３部　一階述語論理（一階述語論理事始め；重要な結果）；第４部　体系の不完全性（一般的状況での不完全性；一階算術；形式体系；ペアノ算術；進んだ話題）
ISBN(13)、ISBN 978-4-535-78772-8　　 4-535-78772-7
書誌番号 1113522765

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2061188471 iLisvirtual

ページの先頭へ