資料詳細

検索条件

ハイライト

ゲーデルと20世紀の論理学(ロジック) 3 貸出中

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

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
県立	書庫	/410/9/53-3	1106467820	一般		貸出中

タイトル	ゲーデルと20世紀の論理学(ロジック)
タイトルカナ	ゲーデルトニジッセイキノロジック
巻次	3
著者	田中一之／編
著者カナ	タナカカズユキ
出版地	東京
出版者	東京大学出版会
出版年	2007.3
ページ数	12,284p
大きさ	22cm
各巻書名	不完全性定理と算術の体系
各巻書名カナ	フカンゼンセイテイリトサンジュツノタイケイ
書誌年譜年表	文献:部末
内容紹介	ゲーデルの仕事を基点に20世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第3巻でのテーマは「不完全性定理」。その現代的証明と数学基礎論の新展開について解説する。
個人件名	Gödel,Kurt
一般件名	数学基礎論-歴史
多巻一般件名	不完全性定理
NDC分類(8版)	410.9
ISBN13	978-4-13-064097-8
本文の言語	jpn
書誌番号	1106386914

レビューが登録されていません。