書店で探す
目次
はしがき
第1章 数学の基礎に関する百年論争
第2章 LISP:数学アルゴリズムを表現する形式
第3章 不完全性定理についてのゲーデルの証明
第4章 停止問題の解決不可能性についてのチューリングの証明
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
北日本
札幌市中央図書館
紙- 410.9/チ/
- 0180799868
関東
さいたま市立中央図書館
紙- 410.9 チヤ
- 21100879762
横浜市立図書館
紙- 410.9
- 2071121812
東海・北陸
石川県立図書館
紙- 410.9/チヤ チ
- 100615558
近畿
大阪市立図書館
紙- 0015002812
書店で探す
出版書誌データベース から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-434-28490-8
- タイトル
- タイトルよみ
- チ ノ ゲンカイ
- 著者・編者
- グレゴリー・J・チャイティン 著黒川利明 訳
- 版
- 復刻改装版
- 著者標目
- 著者 : Chaitin, Gregory J, 1947- ( 00846981 )典拠訳者 : 黒川, 利明, 1948- クロカワ, トシアキ, 1948- ( 00125314 )典拠
- 出版年月日等
- 2021.2
- 出版年(W3CDTF)
- 2021