The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

The Universal Computer: The Road from Leibniz to Turing

The work

AuthorsMartin Davis
Editors
Typebook
Year2000
Citekeydavis2000universal

Where it appeared

PublisherW. W. Norton

How it got here

How it got hereagent via bibtex
Added2026-10-23 23:49 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@book{davis2000universal,
  title        = {The Universal Computer: The Road from Leibniz to Turing},
  author       = {Martin Davis},
  year         = {2000},
  publisher    = {W. W. Norton},
}

This record lives at https://refs.drheap.org/davis2000universal/ and will keep doing so.