Syndetics cover image
Image from Syndetics

The universal computer : the road from Leibniz to Turing / Martin Davis.

By: Material type: TextLanguage: English Publisher: Boca Raton : CRC Press, [2018]Copyright date: ©2018Description: xv, 222 pages 24 cmContent type:
  • Text
Media type:
  • Omedierad resurs
Carrier type:
  • Volym
ISBN:
  • 9781138502086
  • 9780815384021
Subject(s): Genre/Form: DDC classification:
  • 004 23
LOC classification:
  • QA76.17
Other classification:
  • Pu
Online resources:
Contents:
Leibniz's dream -- Boole turns logic into algebra -- Fregeb : from breakthrough to despair -- Cantor : detour through infinity -- Hilbert to the rescue -- Godel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream.
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Bok Orkanenbiblioteket 000-099 004 dav Available 3204219591
Bok Orkanenbiblioteket 000-099 004 dav Available 3204219582
Total holds: 0

Includes bibliographical references and index.

Leibniz's dream -- Boole turns logic into algebra -- Fregeb : from breakthrough to despair -- Cantor : detour through infinity -- Hilbert to the rescue -- Godel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream.

Imported from: lx2.loc.gov:210/LCDB (Do not remove)