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.
Influences of Mathematical Logic on Computer Science
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Abstract When I was a student, even the topologists regarded mathematical logicians as living in outer space. Today the connections between logic and computers are a matter of engineering practice at every level of computer organization. Companies with names like Logical Devices or Logicsoft abound. One can walk into a shop and ask for a “logic probe”. This is by no means simply a matter of terminology. Issues and notions that first arose in technical investigations by logicians are deeply involved, today, in many aspects of computer science.
How it got here
How it got here
agent via openalex
Added
2026-10-23 23:49 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@incollection{davis1990influences,
title = {Influences of Mathematical Logic on Computer Science},
author = {Martin Davis},
year = {1990},
pages = {315--326},
doi = {10.1093/oso/9780198537748.003.0013},
}