資料詳細

検索条件

  • 著者
    鈴木三央
ハイライト
  • 1 件中、 1 件目

[ 和図書 ] ゲーデルと20世紀の論理学(ロジック) 3 ( 不完全性定理と算術の体系 )

田中 一之／編 -- 東京大学出版会 -- 2007.3 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /410.9/5036/3 5013450833 Digital BookShelf
2007/04/19 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-13-064097-8
ISBN13桁 978-4-13-064097-8
タイトル ゲーデルと20世紀の論理学(ロジック)
タイトルカナ ゲーデル ト ニジッセイキ ノ ロジック
巻次 3
著者名 田中 一之 ／編
著者名典拠番号

110002792420000

出版地 東京
出版者 東京大学出版会
出版者カナ トウキョウ ダイガク シュッパンカイ
出版年 2007.3
ページ数 12, 284p
大きさ 22cm
各巻タイトル 不完全性定理と算術の体系
各巻タイトル読み フカンゼンセイ テイリ ト サンジュツ ノ タイケイ
価格 ¥3800
内容紹介 ゲーデルの仕事を基点に20世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第3巻でのテーマは「不完全性定理」。その現代的証明と数学基礎論の新展開について解説する。
書誌・年譜・年表 文献:部末
個人件名カナ ゲーデル クルト
個人件名原綴 Gödel,Kurt
個人件名典拠番号 120000119190000
個人件名 Gödel,Kurt
個人件名カナ ゲーデル,クルト
一般件名 ゲーデルの定理
一般件名カナ ゲーデルノテイリ
一般件名 数学基礎論-歴史
一般件名カナ スウガク キソロン-レキシ
一般件名典拠番号

511035010010000

各巻の一般件名 不完全性定理,算術
各巻の一般件名読み フカンゼンセイ テイリ,サンジュツ
各巻の一般件名典拠番号

511701200000000 , 510853500000000

分類：都立NDC10版 410.9
資料情報1 『ゲーデルと20世紀の論理学(ロジック) 3』（ 不完全性定理と算術の体系）　田中 一之／編 　東京大学出版会　2007.3（所蔵館：中央　 請求記号：/410.9/5036/3　 資料コード：5013450833）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1107136752

ページの先頭へ