Mathematical Logic in Computer Science

02/07/2018

∙

by   Assaf Kfoury, et al.

∙

0

∙

share

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