放送大学附属図書館

ゲーデルの世界 : 完全性定理と不完全性定理

廣瀬健, 横田一正著. -- 海鳴社, 1985. <BB00128018>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~2件(全2件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 本部 2階一般図書 410.9/G31 11115910197 0件

0002 香川 香川一般書 410.9/G31 11117513424 禁帯出 0件
No. 0001
巻号
所蔵館 本部
配置場所 2階一般図書
請求記号 410.9/G31
資料ID 11115910197
状態
返却予定日
予約 0件

No. 0002
巻号
所蔵館 香川
配置場所 香川一般書
請求記号 410.9/G31
資料ID 11117513424
状態 禁帯出
返却予定日
予約 0件

書誌詳細

標題および責任表示 ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
ゲーデル ノ セカイ : カンゼンセイ テイリ ト フカンゼンセイ テイリ
出版・頒布事項 東京 : 海鳴社 , 1985.5
形態事項 vii, 210p ; 20cm
巻号情報
ISBN 4875251068
注記 著作一覧: p143-146. 参考文献: p203-205. 索引: 巻末
学情ID BN00218157
本文言語コード 日本語
著者標目リンク 広瀬, 健(1935-)||ヒロセ, ケン <AU00003167>
著者標目リンク 横田, 一正(1949-)||ヨコタ, カズマサ <AU00041114>
分類標目 数学 NDC8:410.9
分類標目 科学技術 NDLC:MA41
件名標目等 ゲーデルの定理||ゲーデルノテイリ