フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ
竹内薫著
完全版
東京 : 講談社, 2024.11
BookNo. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
---|---|---|---|---|---|---|---|
1 |
|
|
0056267 |
Regular |
|
|
2024
277p : 挿図, 肖像 ; 18cm
不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか
ブルーバックス ; B-2277
表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
竹内流ゲーデル教程(読書案内): p261-270
Japan
Japanese (jpn)
Japanese (jpn)
竹内, 薫 (1960-) (タケウチ, カオル) [ 竹内, 薫 (タケウチ, カオル) ] [ Takeuchi, Kaoru ] [ Takeuti, Kaoru ] [ 湯川, 薫(1960-) (ユカワ, カオル) ]
NDC9:410.9
NDC9:408
NDC10:410.9
9784065362266
BD09545152
TRC : 24044255