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

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

フカンゼンセイ テイリ トワ ナニ カ : ゲーデル ト チューリング ノ カンガエタ コト

竹内薫著

東京 : 講談社, 2013.4

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

408-B94-1810

10013001967

一般図書

詳細情報

刊年

2013

形態

246p : 挿図, 肖像 ; 18cm

シリーズ名

ブルーバックス ; B-1810

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

竹内, 薫(1960-) (タケウチ, カオル) [ 竹内, 薫 (タケウチ, カオル) ] [ Takeuchi, Kaoru ] [ Takeuti, Kaoru ] [ 湯川, 薫(1960-) (ユカワ, カオル) ]

分類

NDC8:410.96

NDC7:410.12

件名

記号論理学

ISBN

9784062578103

NCID

BB12229644