関西外国語大学図書館学術情報センター

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

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

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 資料形態 禁帯出区分 状態 返却予定日 予約 仮想本棚
0001 中宮図 3F一般和書 410.12/Ta67 0004412315 図書 貸出可 0件
0002 御殿山 書庫_一般書(新書) 410.12/Ta67 1001975769 図書 貸出可 0件
No. 0001
巻号
所蔵館 中宮図
配置場所 3F一般和書
請求記号 410.12/Ta67
資料ID 0004412315
資料形態 図書
禁帯出区分 貸出可
状態
返却予定日
予約 0件
仮想本棚
No. 0002
巻号
所蔵館 御殿山
配置場所 書庫_一般書(新書)
請求記号 410.12/Ta67
資料ID 1001975769
資料形態 図書
禁帯出区分 貸出可
状態
返却予定日
予約 0件
仮想本棚

書誌詳細

標題および責任表示 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
フカンゼンセイ テイリ トワ ナニ カ : ゲーデル ト チューリング ノ カンガエタ コト
出版・頒布事項 東京 : 講談社 , 2013.4
形態事項 246p : 挿図, 肖像 ; 18cm
巻号情報
ISBN 9784062578103
書誌構造リンク ブルーバックス||ブルー バックス <BB00122109> B-1810//a
その他の標題 異なりアクセスタイトル:不完全性定理とはなにか : ゲーデルとチューリングの考えたこと
フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング ノ カンガエタ コト
注記 読書案内: p231-240
学情ID BB12229644
本文言語コード 日本語
著者標目リンク 竹内, 薫(1960-)||タケウチ, カオル <AU10056271>
分類標目 数学 NDC8:410.96
件名標目等 記号論理学||キゴウロンリガク
件名標目等 ゲーデルの定理||ゲーデルノテイリ
件名標目等 Turing, Alan Mathison(1912-1954)