Mathematical Logic in Computer Science

Authors: Assaf Kfoury

Abstract: The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.

Submitted to arXiv on 07 Feb. 2018

Explore the paper tree

Click on the tree nodes to be redirected to a given paper and access their summaries and virtual assistant

Also access our AI generated Summaries, or ask questions about this paper to our AI assistant.

Look for similar papers (in beta version)

We compare the title and abstract with papers indexed in our database. For arXiv papers, we search within the same category; for DOI and other sources, we search across sources and subjects. You can rerun the search as our database grows.