このページのリンク

不完全性定理と算術の体系 / 田中一之編
フカンゼンセイ テイリ ト サンジュツ ノ タイケイ
(ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)

データ種別 図書
出版者 東京 : 東京大学出版会
出版年 2007.3
本文言語 日本語
大きさ xii, 284p : 挿図, 肖像 ; 22cm
書誌ID 1000407007

所蔵情報を非表示

2F・開架図書
410.9||TK||3 120110005465

9784130640978
2F・開架図書
410.9||TK||3 120110005613

9784130640978

書誌詳細を非表示

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

 類似資料