資料詳細

  • 1 件中、 1 件目

[ 和図書 ] ゲーデルと20世紀の論理学(ロジック) 2 ( 完全性定理とモデル理論 )

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

所蔵

所蔵は 1 件です。

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

ページの先頭へ

資料詳細 閉じる

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

110002792420000

出版地 東京
出版者 東京大学出版会
出版者カナ トウキョウ ダイガク シュッパンカイ
出版年 2006.10
ページ数 12, 286p
大きさ 22cm
各巻タイトル 完全性定理とモデル理論
各巻タイトル読み カンゼンセイ テイリ ト モデル リロン
価格 ¥3800
内容紹介 ゲーデルの仕事を基点に20世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第2巻ではゲーデルが博士論文で示した重要定理とその発展を、数学・哲学の両側面から立体的に解説する。
書誌・年譜・年表 文献:部末
個人件名カナ ゲーデル クルト
個人件名原綴 Gödel,Kurt
個人件名典拠番号 120000119190000
個人件名 Gödel,Kurt
個人件名カナ ゲーデル,クルト
一般件名 ゲーデルの定理,モデルの理論
一般件名カナ ゲーデルノテイリ,モデルノリロン
一般件名 数学基礎論-歴史
一般件名カナ スウガク キソロン-レキシ
一般件名典拠番号

511035010010000

各巻の一般件名 記号論理学,モデルの理論
各巻の一般件名読み キゴウ ロンリガク,モデル ノ リロン
各巻の一般件名典拠番号

510630200000000 , 510256600000000

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

ページの先頭へ