竹内 薫」タグアーカイブ

不完全性定理とはなにか 完全版

書名: 不完全性定理とはなにか 完全版 -ゲーデルとチューリング 天才はなにを証明したのか-
著者名: 竹内 薫 
シリーズ名: ブルーバックス  B-2277 
出版社: 講談社 
ISBN: 978-4-06-536226-6 

不完全性定理とはなにか 完全版