Normal view MARC view ISBD view

The Engines of Logic mathematicians and the origin of the computer Martin Davis.

By: Davis, Martin, 1928-.

Material type: Text

TextPublisher: New York : Norton, 2000Description: xii, 257 p., $ 19.95 ill. ; 25 cm.ISBN: 9780939322293.Subject(s): Electronic digital computers -- HistoryDDC classification: 004/.09 Summary: originally published as The Universal computer: the road from Leibniz to Turing

Holdings ( 1 )
Title notes

Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Book	Chennai Mathematical Institute General Stacks	004.09 DAV (Browse shelf)	Available		6719

Total holds: 0

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser

Previous				No cover image available No cover image available				Next
Previous	004.015 FLU Parameterized complexity theory /	004.015 KAS Fundamentals of quantum computing theory and practice	004.015 SAN An introduction to bisimulation and coinduction /	004.09 DAV The Engines of Logic mathematicians and the origin of the computer	004.092 SHA Out of their minds : the lives and discoveries of 15 great computer scientists /	004.33 OLD Real-time systems : formal specification and automatic verification /	004.35 KHE Data flow analysis : theory and practice /	Next

Includes bibliographical references (p. [239]-247) and index.

originally published as The Universal computer: the road from Leibniz to Turing

CMI Library

The Engines of Logic mathematicians and the origin of the computer Martin Davis.

By: Davis, Martin, 1928-.

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser