工学部OPAC

ようこそ  ゲスト さん

<図書>

フカンゼンセイ テイリ ト サンジュツ ノ タイケイ

不完全性定理と算術の体系 / 田中一之編

(ゲーデルと20世紀の論理学 (ロジック) / 田中一之編;3)
データ種別 図書
出版者 東京 : 東京大学出版会
出版年 2007.3
本文言語 日本語
大きさ xii, 284p : 挿図, 肖像 ; 22cm

所蔵情報を非表示

配架場所 巻 次 請求記号 資料番号 状 態 資料区分 コメント ISBN 刷 年 利用注記
3F 書庫A
410.9||F72T J07004970 一般図書(日本語) - 図書
9784130640978

書誌詳細を非表示

別書名 その他のタイトル:Incompleteness theorems and formal systems of arithmetic
一般注記 欧文タイトルは標題紙裏による
参考文献: 各部末
著者標目 田中, 一之 <タナカ, カズユキ>
件 名 BSH:数学基礎論 -- 歴史
BSH:不完全性定理
BSH:算術
NDLSH:Gödel, Kurt (1906-1978)
分 類 NDC9:410.9
書誌ID 1000152221
ISBN 9784130640978
NCID BA81128194 WCLINK
巻冊次 ISBN:9784130640978 ; PRICE:3800円+税

検索結果一覧に戻る ページトップ