Library
Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • New Purchase Request
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • Bookmark
    • My Search
    • Review History
  • 電子資料 Electric Books ▼

Library

Back to previous

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

竹内薫著. -- 完全版. -- 講談社, 2024. -- (ブルーバックス ; B-2277). <BB40377772>
Stamp registration
あべし(0) きゅんきゅん(0) ぽろぽろ(0) わくわく(0) ざわざわ(0)


Tag:
No tag is registered
Functions:
Contents and Summary Review Details
URL:

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

竹内薫著. -- 完全版. -- 講談社, 2024. -- (ブルーバックス ; B-2277). <BB40377772>
Stamp registration
あべし(0) きゅんきゅん(0) ぽろぽろ(0) わくわく(0) ざわざわ(0)


Tag:
No tag is registered
Functions:
Contents and Summary Review Details
URL:

HoldingsList 1-3 of about 3

Click a number to display details about the collection.

No. Volumes Library Location Call No Material ID Status Due Date Reservation WEB書棚
0001 Utsunomiya 1F 新書 410.9/Ta 67 89240840 0items
0002 Hachioji 2F 基本 文庫・新書 B/BB/2277 00013936239 0items
0003 Itabashi 文庫・新書 410.9/TA 041112412735 0items
No. 0001
Volumes
Library Utsunomiya
Location 1F 新書
Call No 410.9/Ta 67
Material ID 89240840
Status
Due Date
Reservation 0items
WEB書棚
No. 0002
Volumes
Library Hachioji
Location 2F 基本 文庫・新書
Call No B/BB/2277
Material ID 00013936239
Status
Due Date
Reservation 0items
WEB書棚
No. 0003
Volumes
Library Itabashi
Location 文庫・新書
Call No 410.9/TA
Material ID 041112412735
Status
Due Date
Reservation 0items
WEB書棚
Go to the top of this page
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 ブルーバックス||ブルー バックス <BB00116103> B-2277//a
variant titles 異なりアクセスタイトル:不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか
フカンゼンセイ テイリ トワ ナニ カ : カンゼンバン : ゲーデル ト チューリング : テンサイ ワ ナニ オ ショウメイ シタノカ
note 表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
note 竹内流ゲーデル教程(読書案内): p261-270
NCID BD09545152
text language code Japanese
author link 竹内, 薫 (1960-)||タケウチ, カオル <AU05001616> 著者
classification Mathematics NDC9:410.9
classification Collected works. Collections NDC9:408
classification Mathematics NDC10:410.9
classification Science and technology NDLC:MA41
subject headings 不完全性定理||フカンゼンセイテイリ
subject headings Turing, Alan, 1912-1954
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)

    Get it from another library

    • ILL Copy Request(get a copy from another library)
    • ILL Borrowing Request(borrow the actual book)

    Purchase Request

    QR code