武蔵大学OPAC
Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search

Musashi University Library

Back to previous

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか

竹内薫著. -- 完全版. -- 講談社, 2024. -- (ブルーバックス ; B-2277). <BB10164678>
Functions:
Details

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか

竹内薫著. -- 完全版. -- 講談社, 2024. -- (ブルーバックス ; B-2277). <BB10164678>
Functions:
Details

HoldingsList 1-1 of about 1

Click a number to display details about the collection.

No. Volumes Library Location Call No Material ID In-Lib only Status Due Date Reservation
0001 図書館 ２階一般図書 408//21 0115635120 可 0items
No. 0001
Volumes
Library 図書館
Location ２階一般図書
Call No 408//21
Material ID 0115635120
In-Lib only 可
Status
Due Date
Reservation 0items
Go to the top of this page

Bibliography Details

title and statement of responsibility area 不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか / 竹内薫著
フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ
edition area 完全版
publication,distribution,etc.,area 東京 : 講談社 , 2024.11
physical description area 277p : 挿図, 肖像 ; 18cm
Volume Information
ISBN 9784065362266
parent bibliography link ブルーバックス||ブルー バックス <BB01218338> B-2277//a
variant titles 異なりアクセスタイトル:不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか
フカンゼンセイ テイリ トワ ナニ カ : カンゼンバン : ゲーデル ト チューリング : テンサイ ワ ナニ オ ショウメイ シタノカ
note 表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
note 竹内流ゲーデル教程(読書案内): p261-270
NCID BD09545152
text language code Japanese
author link 竹内, 薫 (1960-)||タケウチ, カオル <AU00079144> 著者
classification Mathematics NDC9:410.9
classification Collected works. Collections NDC9:408
classification Mathematics NDC10:410.9
subject headings 不完全性定理||フカンゼンセイテイリ
Go to the top of this page
Back to previous
Go to the top of this page

  • Related Information

    Related Items

    Other Databases

    Other Universities (NII)

    QR code