Mathematical Logic in Computer Science

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