Mathematical Logic in Computer Science

2018/02/07 by Kfoury, Assaf · 1 citation
#03B70 #68Q99 #F.4.1 #F.4.m #FOS: Computer and information sciences #K.2 #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.1802.03292

Abstract

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

Cited by

• Curriculum Abductive Learning

Related

• Logic in Mathematics and Computer Science
• The prospects for mathematical logic in the twenty-first century
• Mathematics in the Age of the Turing Machine
• Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
• Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy