検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

資料の状態

各蔵書資料に関する詳細情報です。

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0007745649図書一般410.9/ﾀﾅ06/1書庫貸出可  ○

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル

ゲーデルと20世紀の論理学(ロジック)　1　　ゲーデルの20世紀　

人名 田中 一之／編
人名ヨミ タナカ カズユキ
出版者・発行者 東京大学出版会
出版年月 2006.7

書誌詳細

この資料の書誌詳細情報です。

書誌種別 図書
タイトル ゲーデルと20世紀の論理学(ロジック)　1　　ゲーデルの20世紀　
タイトルヨミ ゲーデル ト ニジッセイキ ノ ロジック　ゲーデル ノ ニジッセイキ　
人名 田中 一之／編
人名ヨミ タナカ カズユキ
出版者・発行者 東京大学出版会
出版者・発行者等ヨミ トウキョウ ダイガク シュッパンカイ
出版地・発行地 東京
出版・発行年月 2006.7
ページ数または枚数・巻数 10,228p
大きさ 22cm
価格 ￥３８００
ISBN 4-13-064095-X
注記 文献:部末
分類記号 410.9
分類記号 410.96
件名 数学基礎論-歴史
件名 記号論理学-歴史
件名 Gödel Kurt
件名 ゲーデル クルト
内容紹介 ゲーデルの仕事を基点に20世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第1巻では20世紀の論理学全体を鳥瞰し、日本を代表するロジシャンたちの案内で研究現場の様子を等身大に観る。
著者紹介 1955年生まれ。カリフォルニア大学バークレイ校博士課程修了。東北大学大学院理学研究科教授。Ph.D.。著書に「数の体系と超準モデル」など。
言語区分 jpn
タイトルコード 1009810882286



目次


内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

410.9　410.9
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。