ゲーデル不完全性発見への道 / 北田均著
ゲーデル フカンゼンセイ ハッケン エノ ミチ
(大数学者の数学 ; 6)
データ種別 | 電子ブック |
---|---|
出版者 | [東京] : Maruzen eBook Library |
出版年 | [2017] |
本文言語 | 日本語 |
大きさ | 1オンラインリソース (vi, 144p) |
別書名 | 奥付タイトル:不完全性発見への道 : ゲーデル |
所蔵情報を非表示
URL | 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 請求メモ | 予約 | 仮想書架 | 指定図書 |
---|---|---|---|---|---|---|---|---|---|---|---|
URL | 電子ブック |
|
a5017500068b |
|
|
|
書誌詳細を非表示
一般注記 | 関連文献: p137-139 原資料の出版事項: 京都 : 現代数学社 , 2011.5 冊子ISBN=9784768703915 ILL不可 |
---|---|
著者標目 | 北田, 均 <キタダ, ヒトシ> |
件 名 | BSH:不完全性定理 NDLSH:Gödel, Kurt (1906-1978) |
分 類 | NDC8:410.9 NDC9:410.9 |
書誌ID | 1001163385 |
資料種別 | 機械可読データファイル |