Check details on webcat_plus

このエントリーをはてなブックマークに追加

Output this information

Link on this page

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

Publisher 東京 : 東京大学出版会
Year 2007.3
Authors 田中, 一之 <タナカ, カズユキ>

Hide book details.

Library Main Building 3rd fl. (in Japanese)(2 Weeks Loan)
4100:2338:3 110700983T
9784130640978

Hide details.

Material Type Books
Size xii, 284p : 挿図, 肖像 ; 22cm
Other titles other title:Incompleteness theorems and formal systems of arithmetic
Notes 欧文タイトルは標題紙裏による
参考文献: 各部末
Subjects BSH:数学基礎論 -- 歴史  All Subject Search
BSH:不完全性定理
BSH:算術
NDLSH:Gödel, Kurt (1906-1978)
Classification NDC9:410.9
Language Japanese
ID 1000132392
ISBN 9784130640978
NCID BA81128194 WCLINK

 Similar Items