Engines of logic : mathematicians and the origin of the computer : pbk

Notes on use

Note (General)：: Originally published under the title: The universal computer : the road from Leibniz to Turing"First published as a Norton paperback 2001"--T.p. verso...

Related materials as well as pre- and post-revision versions

Search by Bookstore

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.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

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: 9780393322293
Title: Engines of logic : mathematicians and the origin of the computer
Volume: : pbk
Author/Editor: Martin Davis
Author Heading: Davis, Martin
https://ci.nii.ac.jp/author/DA00915927
Publication, Distribution, etc.: W.W. Norton
Publication Date: 2001, c2000
Publication Date (W3CDTF): 2001
Size: 22 cm
Alternative Title: The universal computer : the road from Leibniz to Turing
Mathematicians and the origin of the computer
Place of Publication (Country Code): us
Text Language Code: en
Subject Heading: Electronic digital computers -- History
Logica. gtt
Computers. gtt
Wiskundigen. gtt
LCC: QA76.5
Target Audience: 一般
Note (General): Originally published under the title: The universal computer : the road from Leibniz to Turing
"First published as a Norton paperback 2001"--T.p. verso
Includes bibliographical references (p. [239]-247) and index
Related Material: A Norton paperback
https://cir.nii.ac.jp/crid/1130000796618830592
Related Material (URI): https://ci.nii.ac.jp/ncid/BA91883532#entity
https://lccn.loc.gov/00040200
Periodical Title: A Norton paperback
https://cir.nii.ac.jp/crid/1130000796618830592
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA91883532 : BA91883532
LC Control Number: 00040200
https://lccn.loc.gov/00040200