武蔵大学図書館

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと

竹内薫著. -- 講談社, 2013. -- (ブルーバックス ; B-1810). <BB10086724>

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 図書館 2階一般図書 408//21 0115079394 0件
No. 0001
巻号
所蔵館 図書館
配置場所 2階一般図書
請求記号 408//21
資料ID 0115079394
禁帯出区分
状態
返却予定日
予約 0件

書誌詳細

タイトル/著者名等 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
フカンゼンセイ テイリ トワ ナニ カ : ゲーデル ト チューリング ノ カンガエタ コト
出版事項 東京 : 講談社 , 2013.4
形態事項 246p : 挿図, 肖像 ; 18cm
巻号情報
ISBN 9784062578103
シリーズ名等 ブルーバックス||ブルー バックス <BB01218338> B-1810//a
NCID BB12229644
本文言語 日本語
著者標目 竹内, 薫 (1960-)||タケウチ, カオル <AU00079144>
分類 数学 NDC8:410.96
分類 NDC7:410.12
件名 記号論理学||キゴウロンリガク