Description

During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science.