このページのリンク

ゲーデル ニ イドム : ショウメイ フカノウナ コト ノ ショウメイ
ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著

データ種別 図書
出版者 東京 : 東京大学出版会
出版年 2012.4
本文言語 日本語
大きさ viii, 177p : 挿図 ; 21cm
目次/あらすじ

所蔵情報を非表示


GF: 一般書架 411/G56Yta 07458388
9784130639002

書誌詳細を非表示

別書名 異なりアクセスタイトル:ゲーデルに挑む : 証明不可能なことの証明
その他のタイトル:Reading Gödel : a proof of unprovability
一般注記 標題紙裏の欧文タイトル: Reading Gödel : a proof of unprovability
原論文の引用文献: p145-147
文献案内: p167-169
著者標目 田中, 一之 <タナカ, カズユキ>
件 名 BSH:不完全性定理
分 類 NDC8:410.9
NDC9:410.9
書誌ID 4100013135
ISBN 9784130639002
NCID BB09016521 WCLINK

 類似資料