資料詳細

ゲーデルと２０世紀の論理学（ロジック）３不完全性定理と算術の体系貸出可

田中一之／編 -- 東京大学出版会 -- ２００７．３ -- 410.9

所蔵

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
久喜	貸閲公開	/410.9/ｹﾃ/	101852861	一般和書	帯出可	在館中

※外部書庫の資料につきましては取り寄せとなるため、お時間がかかります。
※帯出区分が「禁帯出」、「禁帯保存」の資料については取り寄せできるものもあります。所蔵館にお問い合わせください。

館名	所蔵数	貸出中数	貸出可能数
久喜	1	0	1

タイトル	ゲーデルと２０世紀の論理学（ロジック）３
書名カナ	ゲーデル　ト　ニジッセイキ　ノ　ロジック０００３００
著者	田中一之／編
著者カナ	タナカ，カズユキ
出版者	東京大学出版会
出版年	２００７．３
ページ数	２８４ｐ
大きさ	２２ｃｍ
一般件名	数学基礎論
NDC分類(9版)	410.9
内容紹介	２つの不完全性定理に現代的な証明を与えるとともに、「逆数学プログラム」について、新しい研究成果を踏まえて解説。さらに、ダイアレクティカ解釈によるペアノ算術の無矛盾性証明について、多角的な視点から解説。
ISBN	4-13-064097-6
特定資料種別	一般和書