図書館へ購入を依頼する

このページのリンク

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

資料タイプ 図書
出版者 東京 : 東京大学出版会
出版年 2007.3
本文言語 日本語
大きさ xii, 284p : 挿図, 肖像 ; 22cm

所蔵情報を非表示


教育図:19階書庫1 410.1||50||3 071101913

書誌詳細を非表示

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

 類似資料