Search by Bookstore
Table of Contents
はしがき
第1章 数学の基礎に関する百年論争
第2章 LISP:数学アルゴリズムを表現する形式
第3章 不完全性定理についてのゲーデルの証明
第4章 停止問題の解決不可能性についてのチューリングの証明
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Northern Japan
札幌市中央図書館
Paper- 410.9/チ/
- 0180799868
Kanto
さいたま市立中央図書館
Paper- 410.9 チヤ
- 21100879762
横浜市立図書館
Paper- 410.9
- 2071121812
Tokai/Hokuriku
石川県立図書館
Paper- 410.9/チヤ チ
- 100615558
Kinki
大阪市立図書館
Paper- 0015002812
Search by Bookstore
Publication bibliographic database Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-434-28490-8
- Title
- Title Transcription
- チ ノ ゲンカイ
- Author/Editor
- グレゴリー・J・チャイティン 著黒川利明 訳
- Edition
- 復刻改装版
- Author Heading
- 訳者 : 黒川, 利明, 1948- クロカワ, トシアキ, 1948- ( 00125314 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2021.2
- Publication Date (W3CDTF)
- 2021