資料詳細

  • 1 件中、 1 件目

【図書】 キューネン数学基礎論講義

ケネス・キューネン ／著, 藤田博司 ／訳   -- 日本評論社 -- ２０１６．７ -- ２１ｃｍ -- ３７８ｐ

資料詳細

タイトル キューネン数学基礎論講義
著者名等 ケネス・キューネン ／著, 藤田博司 ／訳  
出版 日本評論社 ２０１６．７
大きさ等 ２１ｃｍ ３７８ｐ
分類 410.9
件名 集合論 , モデルの理論
注記 原タイトル：ＴＨＥ　ＦＯＵＮＤＡＴＩＯＮＳ　ＯＦ　ＭＡＴＨＥＭＡＴＩＣＳ
注記 文献あり　索引あり
著者紹介 【ケネス・キューネン】１９４３年生まれ。ウィスコンシン大学マディソン校名誉教授。（本データはこの書籍が刊行された当時に掲載されていたものです）
内容紹介 名著『集合論』の著者キューネンによる数学基礎論の教科書を邦訳。公理的集合論からゲーテルの不完全性定理まで幅広い題材を、哲学的な話題も含めて丁寧に解説する。
要旨 名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。
目次 第０章　導入（予備知識；述語論理　ほか）；第１章　集合論（方針；公理　ほか）；第２章　モデル理論と証明論（方針；証明論への史的導入　ほか）；第３章　数学の哲学（実際に真なのは何か；偽りのない理解のために）；第４章　再帰理論（概要；チャーチとチューリングの提唱　ほか）
ISBN(13)、ISBN 978-4-535-78748-3　　 4-535-78748-4
書誌番号 1113400438
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113400438

ページの先頭へ

所蔵

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

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

ページの先頭へ