石巻専修大学図書館

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

廣瀬健, 横田一正著. -- 海鳴社, 1985. <BB01123040>
書誌URL:

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

No. 所蔵館 配置場所 請求記号 巻号 年月次 資料ID 状態 返却予定日 予約
0001 石巻 開架図書(2F) /410/H72 000022319 配架済 0件
No. 0001
所蔵館 石巻
配置場所 開架図書(2F)
請求記号 /410/H72
巻号
年月次
資料ID 000022319
状態 配架済
返却予定日
予約 0件

書誌詳細

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