{"id":"https://openalex.org/W2269735247","doi":"https://doi.org/10.1093/oso/9780198537748.003.0013","title":"Influences of Mathematical Logic on Computer Science","display_name":"Influences of Mathematical Logic on Computer Science","publication_year":1990,"publication_date":"1990-03-12","ids":{"openalex":"https://openalex.org/W2269735247","doi":"https://doi.org/10.1093/oso/9780198537748.003.0013","mag":"2269735247"},"language":"en","primary_location":{"id":"doi:10.1093/oso/9780198537748.003.0013","doi":"https://doi.org/10.1093/oso/9780198537748.003.0013","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1093/oso/9780198537748.003.0013","pdf_url":null,"source":{"id":"https://openalex.org/S4306463708","display_name":"Oxford University Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Universal Turing Machine: A Half-Century Survey","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W4388314152","display_name":"The Universal Turing Machine: A Half-Century Survey"},"type":"book-chapter","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015645310","display_name":"Martin D. Davis","orcid":"https://orcid.org/0000-0001-6621-8115","observed_orcids":["https://orcid.org/0000-0001-6621-8115"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Martin Davis","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5015645310"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8562,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.75475687,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"315","last_page":"326"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.6884999871253967,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.6884999871253967,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12797","display_name":"History of Computing Technologies","score":0.1054999977350235,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.10199999809265137,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-logic","display_name":"mathematical logic","score":0.9929999709129333},{"id":"https://openalex.org/keywords/computer-science","display_name":"computer science","score":0.7749999761581421},{"id":"https://openalex.org/keywords/logic-devices","display_name":"logic devices","score":0.46399998664855957},{"id":"https://openalex.org/keywords/history-of-logic","display_name":"history of logic","score":0.6340000033378601}],"concepts":[{"id":"https://openalex.org/C547195049","wikidata":"https://www.wikidata.org/wiki/Q1725664","display_name":"Terminology","level":2,"score":0.7487046718597412},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5499741435050964},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4697454571723938},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.4139992594718933},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.4130239188671112},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.21563449501991272},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2000945806503296},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.1420121192932129},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/oso/9780198537748.003.0013","doi":"https://doi.org/10.1093/oso/9780198537748.003.0013","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1093/oso/9780198537748.003.0013","pdf_url":null,"source":{"id":"https://openalex.org/S4306463708","display_name":"Oxford University Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Universal Turing Machine: A Half-Century Survey","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W67054995","https://openalex.org/W137706893","https://openalex.org/W1578337892","https://openalex.org/W1640192616","https://openalex.org/W1971418649","https://openalex.org/W1972347230","https://openalex.org/W2020156556","https://openalex.org/W2053619330","https://openalex.org/W2081416038","https://openalex.org/W2212036697","https://openalex.org/W2270550182","https://openalex.org/W2319549361","https://openalex.org/W2335478831","https://openalex.org/W2502412980","https://openalex.org/W3000593863","https://openalex.org/W3034566726"],"related_works":["https://openalex.org/W4245590812","https://openalex.org/W1728889834","https://openalex.org/W2981952050","https://openalex.org/W2389779077","https://openalex.org/W1491645987","https://openalex.org/W7098077708","https://openalex.org/W2787591779","https://openalex.org/W1490051000","https://openalex.org/W2326783067","https://openalex.org/W2250471400"],"abstract_inverted_index":{"Abstract":[0],"When":[1],"I":[2],"was":[3],"a":[4,25,49,54,63],"student,":[5],"even":[6],"the":[7,18],"topologists":[8],"regarded":[9],"mathematical":[10],"logicians":[11,77],"as":[12],"living":[13],"in":[14,73,82],"outer":[15],"space.":[16],"Today":[17],"connections":[19],"between":[20],"logic":[21],"and":[22,51,68],"computers":[23],"are":[24,78],"matter":[26,64],"of":[27,33,65,85],"engineering":[28],"practice":[29],"at":[30],"every":[31],"level":[32],"computer":[34,86],"organization.":[35],"Companies":[36],"with":[37],"names":[38],"like":[39],"Logical":[40],"Devices":[41],"or":[42],"Logicsoft":[43],"abound.":[44],"One":[45],"can":[46],"walk":[47],"into":[48],"shop":[50],"ask":[52],"for":[53],"\u201clogic":[55],"probe\u201d.":[56],"This":[57],"is":[58],"by":[59,76],"no":[60],"means":[61],"simply":[62],"terminology.":[66],"Issues":[67],"notions":[69],"that":[70],"first":[71],"arose":[72],"technical":[74],"investigations":[75],"deeply":[79],"involved,":[80],"today,":[81],"many":[83],"aspects":[84],"science.":[87]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2016-06-24T00:00:00"}