Search by Bookstore
Table of Contents
第1章 ライプニッツの夢 第2章 論理を代数に変換したブール 第3章 フレーゲ：画期的達成から絶望へ 第4章 無限を巡り歩いたカントル 第5章 ヒルベルトの救済プログラム 第6章 ヒルベルトの計画を転覆させたゲーデル 第7章 汎用計算機を構想したチューリング 第8章 万能計算機の現実化 第9章 ライプニッツの夢を超えて
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- Call No.：
- ４１０．９６／Ｂ
- Book Registration Number：
- 1112096860
札幌市中央図書館
Paper- Call No.：
- 410.9/ﾃﾞ/
- Book Registration Number：
- 0180059990
Kanto
茨城県立図書館
Paper- Call No.：
- 410.9/ﾃﾞｳﾞ/
埼玉県立久喜図書館
Paper- Call No.：
- 410.96-ﾊﾝ
- Book Registration Number：
- 103018909
さいたま市立中央図書館
Paper- Call No.：
- 410.96 ﾃﾞｳﾞ
- Book Registration Number：
- 14102181485
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-7649-0471-2
- Title Transcription
- バンノウ コンピュータ : ライプニッツ カラ チューリング エノ ミチスジ : チューリング セイタン ヒャクシュウネン キネンバン
- Author/Editor
- マーティン・デイヴィス 原著沼田寛 訳
- Author Heading
- 沼田, 寛, 1948- ヌマタ, ヒロシ, 1948- ( 00222260 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2016.11
- Publication Date (W3CDTF)
- 2016
- Extent
- 249p